I know you can manually edit a txt file to change the default boot O/S between Windows and Linux. But someone a while ago here mentioned an application that could be installed via the package manager that does it graphically and more easily, and I used to have it in a previous installation, but can't remember what it was. - does anyone know what it might be ?