Lemmy isn’t the only Threadiverse server implementation, though it’s the most-widely used. There’s kbin, of which kbin.social is the largest instance, mbin, of which fedia.io is the largest example – and the user you’re talking to is on fedia.io – and some others.

mbin.fediverse.observer/list

kbin.fediverse.observer/list