A page Here's a HTML anchor for which Doxygen doesn't produce a prefix like for the normal @anchor because it's buggy. But we have to parse it nevertheless!