Document section links.
Add new dfn types to documentation.