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

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