[aur-requests] [PRQ#31559] Deletion Request for python-tinytimer