Some minor tidy-up of Doxygen extra files