Ah yes thank you! (And Magnus.)

I had squashed a bunch of commits together, some of which had genuine [skip ci].  But I had failed to remove that string from the squashed commit.

Simon