[aur-requests] [PRQ#12586] Deletion Request for fluxdgmenu