The pushing to GitHub Pages' gh-pages branch hasn't worked since I've maintained the plugin.

We should fix this, as noted in JENKINS-67182, ideally as a GitHub Actions workflow that runs on tags.