Source notices, Doxygen and HTML documentation