It is, but apparently something broke and the bot isn't getting through now. Nor am I, but I got in one last commit before they did, somehow (their pull request was made earlier, and yet?)

Which means that it's now just this, and has been for 10 minutes: https://github.com/art-dot-git/80x40/commit/675cb618fb6221d2...