@microsoft@lea.pet Hmph! Meanwhile on Linux, users have the freedom (as in freedom) to delete their entire GNU GRUB install on their own ​:ackshually:​