@ParadeGrotesque The machine is an old desktop currently running Windows 10 — I haven’t really used it (except to use its many USB ports to power and change various random devices) for 4 to 5 years. I really don’t need anything currently on the machine (including Windows itself) so I am happy just to wipe the existing Windows disk.
Should I start by downloading one of the distributions to the Windows machine or another machine and attempt to boot from a USB drive?