Reversion to v3.31.0

The production website was reverted to v3.31.0 about 17 minutes ago. No changes were done in GitHub for this.

I have no idea if creating a new Release is the correct protocol for this, but it can't hurt too badly. :) We need to add a note about that to our deployment process (including instructions for tag numbers and target commit), and then tidy up this comment.