doxygen: Replace '\' by '@' in Doxygen markup tags.