Linux-related stuff:
Up to the main menu.