Movie player for the GNOME Desktop (gecko plugin)
