This is an old revision of the document!
To export a single page, use the PDF link on the right side of the window.
To export all the pages, click here: Export namespace "playground:" to file Playground.pdf It will take a minute or two. The last few pages aren't necessary (working on fixing that).