[aur-requests] [PRQ#1808] Deletion Request for prettyping.sh