I have Github notifications turned off on the main pure-data repo (otherwise I would go crazy), but I do check now and then. We have almost 400 open issues, many of which go back 5 years or so. Can we go through and close things which have been resolved or are simply inactive?