@aral Yeah, I guess there isn't a button in PeerTube right now. So you'd just search: email@example.com 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?
This is my personal Mastodon.