Mastodon gets better search, onboarding, and cross-server interactions

Mastodon 4.2 works more like it ought to

The update comes with some very welcome improvements.