It'd make sense to use the foot upstream, but I'm afraid it won't look well if the foot is still used as icon for the menubar/menu. -- Make gnome-about.desktop themable https://launchpad.net/bugs/41468