Thank you! Exporting as PDF is in the backlog - but in the meantime, I'm currently making it behave nicer, albeit imperfect, with 'Print as PDF', if your browser supports it (through Ctrl+P). This should be live during the next few days.
Another feature I'm thinking of is exporting the raw markdown file as well as supporting online editing if we get a stronger hosting server.