[aur-requests] [PRQ#5636] Deletion Request for docker-machine-bin