@Gargron I don't know if it's of any help, but since a few minutes mastodon.social is again performing very well. Looks like the upgrade worked.