I'm not sure. No other client shows him being verified. Damus bug? He does have a primal lightning address, but no nip05 verification.