Improvements and bug fixes to the API Documentation HTML