Mastodon 4.2 released, with (opt-in) search, and UX improvements

cross-posted from: https://lemmy.world/post/5472500

Lots of small improvements across the user experience, and opt-in search, make this an important release.