Archived tweet #8857 from the @leastfixedpoint Twitter Archive

Note for next time: "bcdedit /set {bootmgr} path \EFI\debian\grubx64.efi". Another chunk of wasted life. Thanks, Microsoft.