after my last PR merge I got an email from GitHub:

The page build failed with the following error:
Page build timed out. Please try again later.

I assume it's #607 as usual, except that now that we have more translations, the problem has gotten to the point where it's tipped over some threshold, and now we can't push updates to the site at all.