Make sure Doxygen comments don't disappear from Doxygen-generated source