<< | Page list | >>
Things to do at this site
This page is a ToDo-list for the maintainer of this site.
- Have a look at the Publish -> PDF thing on JR's tertiary site1.
- Look at local/indentpara.php from JR... it gives indented paragraphs, but I think I should understand it before I use it probably.