Gnome-Shell extension to choose a system to start at the next reboot.