Re: [aur-requests] [PRQ#32175] Deletion Request for dot-tools Accepted