@liaizon No. If you pay $21 / mo there is some sort of "Advanced PDF export" but I don't know if that's what I need.

So I just spent the last 2 hours copy and pasting into markdown files.