Remove now useless Doxygen aliases.