Remove (broken) support for local anchors.json. Add support for <pre class=anchors>, and document it.