Remove all `<pre class=anchors>`

[marcoscaceres]

The spec currently uses <pre class=anchors> to hard code links. Those shouldn't are needed, as definitions are exported (and where they are not, we should get them exported from the appropriate specs).