あー、iris.toは現状でも https://iris.to/npub~@examle.com な形式なのか。ドメインのroot(所有者)だから省略させてるのね。 /e /p なのはsnort.social。それでもプロフィールが @~、または /user じゃないのは心配には違いないけど。