re-establish HyperDoc content from .htex sources
add releaseNotes and "Changes to Spad" into ug15
fix htexdoc
util.ht is now in doc