A Bookmarklet to transform the W3C spec to be easier to read