@MastodonEngineering @jon You may want to bump that by a few days. 7/4 is a big American holiday.