eschwartz [1] filed a deletion request for mandoc [2]: Thank you for maintaining this. I've now (as promised) moved this into [community]. [1] https://aur.archlinux.org/account/eschwartz/ [2] https://aur.archlinux.org/pkgbase/mandoc/