doc: Port to hotdoc