[aur-requests] [PRQ#9055] Deletion Request for geda-symbols-improved-git