Fix some Sphinx warnings in the static analyzer docs

A heading wasn't underlined properly, and two links share the same text
and so they should use an anonymous hyperlink instead of a named one.