docs: Port to hotdoc