De-duplicating doxygen resources (reduces documentation archive filesize by 33%)