It’s been on our to-do list for a long time but now it’s good enough for general use — our PDF export feature now supports more interesting characters such as what you’d find, oh, anywhere in the world other than the US. We’ve also thrown in image embedding and some basic support for tables and hyperlinks. It turns out the PDF standard is pretty hard to do well, and we’ve been gnawing away at this matter for months. (Aside: guess what an ‘Acrobat error 135 is’ — we had to, it’s not documented) In order to fully support the kinds of html you can (and have) put in your wikis we’d have to basically rewrite the layout and printing engines of a web browser, and we’re not really equipped to do that right now. What we’ve come up with is a good balance between utility and scope — making it incrementally more capable would require a pretty substantial rework.