Update to Doxygen 1.8.3.1; minor main page changes.