@Gargron Ah, so it may matter more for mastodon.social, since y'all have moved S3 providers several times.