Disable or remove orca-devel-list (orca-list is where discussion happens)
We haven't used orca-devel-list in years (we use orca-list). But occasionally people find orca-devel-list, subscribe, and ask things like "Is Orca still active?" To which I need to respond, "wrong list." It seems simpler to disable/hide/delete orca-devel-list.
Thanks in advance!