Old PHP code for serving old doc (1.3 - 1.7)
.htaccess: use lib.old for old doc, and map / to public/staticapi.html
update config.js to do all versions