Purging old Github issues

I’ve been using it, sort of going by some recent talk like

One early noise-reduction was to label enhancement so one can search using -label:enhancement.

There is now a load of pending user feedback that will probably get stale treatment per this soon.
Those can also be filtered out in a search, but some will need manual action due to their ancient label.

There were a lot of issues from years ago that got a bug label but no more. Sometimes a request gets response or Close from originator. I guess we decide on manual actions if lack of response continues.

Feel free to review any or all of these sooner if desired, and maybe triage role should be spread wider.