* pia-setup now copies the latest .pdf documentation into htdocs
* added documentation and support e-mail URL to "Tools" page
* rearranged "Tools" layout