0.10.7.2 (unstable): * Refine the Doxygen main page. (José Alburquerque)