I am running Windows 10 Pro 64-bit with Audacity 2.3.2.
I imported a .mid file and played it - sounds great! I now want to export it as a .wav file. I click on File → Export, but the only option not greyed out is MIDI! Export As WAV or anything else in the list is greyed out. Am I missing a step?