Download midi from Android app
It is possible to download midi files from the website, but not from the Android app. It would be nice to not have to switch back and forth.
Also, I initially submitted this request on the "Submit a request" page on the website, and received a response stating that feature requests must be posted here. But there didn't seem to be any indication of that on the request form. So that could be made more clear.