[aur-requests] [PRQ#5413] Deletion Request for mint-themes