An option to download the archive would be great, just because it's always good to have an offline copy. Any chance you could also add the ability to upload new MIDIs to the collection?