extralines="""
-<p>Code coverage analysis: http://esr.gitlab.io/open-adventure/coverage/</p>
+<p>There is a <a href="http://esr.gitlab.io/open-adventure/coverage/">code coverage analysis</a> and a <a href="http://esr.gitlab.io/open-adventure/coverage/adventure.yaml.html">symbol coverage analysis</p>
"""