Of course Is he in #nostr? I didn't find him

I don't know, but, even if he doesn't use nostr, we have to mention him. They are a great team