Activated hooktheory premium but cannot export MIDI.
What to do?
Hmm sorry your account looks in order. Can you try logging out and back into the Hookpad app by using the menu in the upper right corner?
(being logged in to the app should be linked with being logged into the website but since Hookpad works offline now, it is possible to become logged out of Hookpad when signed into hooktheory.com)