[PRQ#41952] Deletion Request for gnome-shell-extension-arc-menu Accepted