Dominiquini [1] filed a deletion request for diffnav-bin [2]: Package is present on the official repo (extra): https://archlinux.org/packages/extra/x86_64/diffnav/
[1] https://aur.archlinux.org/account/Dominiquini/ [2] https://aur.archlinux.org/pkgbase/diffnav-bin/
