Noted. You're definitely not the only one asking this, so it's top on the list.
Side note: I did start implementing PDF exports, but for anyone curious, it's actually a lot more complex than imagined. There is no easy way to turn HTML to PDF (if anyone knows otherwise, please share) and there are font and language complications.