[aur-requests] [PRQ#3680] Deletion Request for minecraft-launcher