Request #12705 has been accepted by yan12125 [1]: In general merge requests are more suitable for package renaming. As there's no difference for this package (no comments and no votes), I'm going to accept the deletion request. [1] https://aur.archlinux.org/account/yan12125/