Changes to harmonize github markdown rendering with doxygen