Doxygen: switch to SHORT_NAMES=NO
This allows stable deep linking of documentation, cf https://stackoverflow.com/questions/10615619/how-to-hyperlink-to-deep-doxygen-content
This allows stable deep linking of documentation, cf https://stackoverflow.com/questions/10615619/how-to-hyperlink-to-deep-doxygen-content