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/