quick question but I’ve read that lemmy federates with both mastodon and peertube (I have checked and can find myself here: https://mastodon.social/@Scraft161@iusearchlinux.fyi but I am unable to see any users from mastodon or peertube.

Search failing on lemmy:
Screenshot of a search for "@torvalds@social.kernel.org" returning nothing

Same search on mastodon.social:
Screenshot of the same search successfully returning the user's profile

Is there something I’m doing wrong or has federation not been implemented both ways as of yet?

EDIT: minor formatting regarding images