Doxygen config; documentation notes