Cool idea, I'll try to do something on that front.
Meanwhile, you can "print" your map to a PDF using the browser print command as a way of exporting it, but yeah, not very practical.
Handy workaround!
