Doxygen fails to generate the right HTML here, making this section incorrect, and InitializeChainstate unsearchable.

You can see from our code that these should be separate:
Doxygen fails to generate the right HTML here, making this section incorrect, and InitializeChainstate unsearchable.

You can see from our code that these should be separate:
Looks like an upstream bug, no?
FWIW this is the installed version of doxygen:
user@galatea:~$ doxygen --help
Doxygen version 1.8.13
Copyright Dimitri van Heesch 1997-2015
It could help if someone could try with different versions (1.8.20 seems to be latest) and see if this was solved since. If that works, I'll upgrade the one on the server.
Testing on 1.8.20: bug still exists
Thanks for testing ! good to know. We might want to report it upstream then, if it isn't yet. Looks like the project is even hosted on github these days: https://github.com/doxygen/doxygen
Looks like this is still the case as of Dockygen 1.9.4. Removing the Bug label because this isn't a bug in Core.
Not sure what to do here. This needs to be reported elsewhere?
The issue is Doxygens parsing of EXCLUSIVE_LOCKS_REQUIRED(::cs_main); vs EXCLUSIVE_LOCKS_REQUIRED(cs_main);. We could add a temporary workaround to our config, to at least unbreak the generated documentation.
Submitted an issue upstream: https://github.com/doxygen/doxygen/issues/9499.