Fiddly change to force GitHub Pages republishing