- Workaround in an API doc comment to avoid a bug in Doxygen (which would cause Doxygen to ignore the entire source file).