For my part what little time I’ve had recently has been taken up addressing a really tricky compilation issue, probably something like 10 hours to address it.
The good news is I got it sorted out, and did a big batch of merging today, the pending PRs are down to 40 and I’ll be looking at merging still more.
