Generalize tools/publish-doc.sh
Fixing toplevel doc page.
Another change to the doc urls.