Running Achitry on VirtualBox

I’m stuck home because of the quarantine, so I needed to install Windows 10 on VirtualBox on my iMac to keep developing stuff. Getting Vivado and Alchitry Labs to run was pretty straightforward, but being able to download the .bin files required some extra steps regarding the USB interface. I made a complete set of notes here.