dbermond [1] filed a deletion request for htmldoc [2]: The package was pushed to the [community] official repository. [1] https://aur.archlinux.org/account/dbermond/ [2] https://aur.archlinux.org/pkgbase/htmldoc/