Add HTML versions of the specs to the documentation