Ability to name MIDI files when exporting

When I export my Hookpad projects, they are all automatically saved as “Hookpad.mid”. Which means I now have a bunch of files all named Hookpad, from 1 to whatever. It’s a bit like if Word would only save all your documents as “Blank 1-2-3…” Not very practical.
So, if you could include the ability to name MIDI files when exporting (or alternatively, just have them automatically have the same file name as the Hookpad project), that would be helpful. Thanks.