Resync with doxygen generated manual.