@pid_eins >Lennart has never heard of GNU Grub's boot feature where you can select an older version of Linux to boot in the menu - alas the ability of many computer users has been sabotaged so hard that they won't be able to work something like that out.