Okay, it took a little longer than planned, but we're back and running on Mastodon version 4.0.1.

It looks like nothing broke in the process.