@aral Yeah, I guess there isn't a button in PeerTube right now. So you'd just search: firstname.lastname@example.org in Masto and it should find the account. (And then I believe the @mention in that post will open the local account on your instance, instead of the PeerTube page.)
@ultimape Yeah, I've been having trouble doing it on there too -- but works on other instances I've tried. Hopefully just a temporary issue?
@fcthiesen Yeah, something's up with mastodon.social right now where search is timing out (related toot: https://mastodon.social/@ultimape/100652998366316636)
Maybe @Gargron knows what's going on?
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!