[aur-requests] [PRQ#4892] Deletion Request for libretro-atari800