Many new edits to Hyperdoc