[aur-requests] [PRQ#23711] Deletion Request for cinnamon-extension-desktop-scroller