I read the Reddit post; that looks easier to set up than I thought. I might give it a try some day. But I don't mind rebooting to switch OS anyway (10s boot times plus fast legacy BIOS).