a821 [1] filed a deletion request for funny-manpages-final-git [2]: Duplicated of funny-manpages-git. We certainly do not want `$package- final-v3-latest-for-sure-final` kind of packages just because someone messed up the upload, do we? Also that is the better package name. [1] https://aur.archlinux.org/account/a821/ [2] https://aur.archlinux.org/pkgbase/funny-manpages-final-git/