I was looking at the PR requests on GitHub while working on the board report and there are 31 dangling out there, some going back to 2018. I don't have permissions to merge, etc, but feel we should probably try to deal with some of these.
Thoughts? Thanks, mrg
