He's using mostr.pub so his actual #Mastodon profile is here. Do people there understand what crossposting to #nostr means? I'm not sure. He probably won't see replies here. https://stefanbohacek.online/@stefan