re-order some Documentation categories in documentation.html