I’ve reopened this one as though this particular PR has been merged the general question of what to do to nudge a PR is still a little open.
From my viewpoint, I don’t keep track of PRs on GitHub () so I think if we’re looking for a more formal answer to ‘what can I do to chase up a PR review for core or something official’ I think opening a dev topic here on meta would be a good way to get it some extra attention. Feel free to @JammyDodger me and I’ll do my best to hound people and get it reviewed (or at least looked at).