Please rebase off master

Hi folks,

If you have open PRs, please rebase them off master before (re)pushing them. Something about one of the GitHub actions broke over the weekend. I believe I’ve pushed a fix to the master branch. But if you don’t rebase, you’ll get the old version and your build won’t deploy.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica