Update links

The links to various parts of the specification were returning 404.