I just inherited a Mastodon server that was on 3.5.1. I’ve got it upgraded to 3.5.15, which appears to the be latest version of the 3.5 branch. Which branch should I upgrade to now? 4.x, 4.1.x, or 4.2.x?