Nope, never encountered him.
What's his /links username?
(THE MONGDADDY Wibble jib-jib!, Fri 13 Mar 2026, 23:46, archived)

He was often mentioned there,
but I don't think he ever signed up.
(The Porcupine From Purgatory we of all lost both have them, Sat 14 Mar 2026, 7:47, archived)