yochananmarqos [1] filed a deletion request for hotdoc [2]:
This is now in the community repo.
[1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/hotdoc/
Request #23363 has been accepted by orhun [1].
aur-requests@lists.archlinux.org