It's official: GNOME is replacing Totem Video Player with Showtime in GNOME 49