Backstory: system is dual boot with UEFI running Windows 10 (originally Win7, but it forced an upgrade on me at some point) and Fedora: originally Fedora 28, but subsequentl
