docs: enable building html documentation with hotdoc

1 job for doc in 2 minutes and 13 seconds (queued for 11 seconds)
Status Name Job ID Coverage
  Test
passed build #1423963

00:02:13