added link to HTML version of the spec