Tidy up tools/, and harden the docs unpacking - #24

Tidy up tools/, and harden the docs unpacking#24

dpage merged 2 commits into

mainpgadmin-org/pgaweb:mainfrom

tidy-tools-and-harden-load-docspgadmin-org/pgaweb:tidy-tools-and-harden-load-docsCopy head branch name to clipboard