Previously, on booting the computer, I had a choice of Mint 15, Mint 17, or the system I used every day, Mageia 3.
After installing Mageia 5 RC, the only boot option is Mageia 5.
How can I get the other entries back? From memory, I think that Mageia 5 is the only distro which has been so selfish!