Request #11333 has been accepted by Eschwartz [1]: There's no comments or votes to merge, so a deletion request works just as well, but sure. :) [1] https://aur.archlinux.org/account/Eschwartz/