Branches to PRs: merge or discard

[meling]

Would be nice to get the various branches merged or discarded. Started to review some of the branches, and saw a few typos in critical places, so would be nice to go via PRs, so that these can be fixed... Or I guess I could just fix, commit, and push directly to the branches, if you are ok with that. But it would be nice to know first, which branches are worth keeping.