[aur-requests] [PRQ#15783] Deletion Request for python-pipfile