
I'll be honest, I've seen the name mentioned, but never seen anybody post with it nor have I seen the biggrin emoji appearing frequently in posts on /int/, so I assume they must be from one of the other boards.
p.s. nice digits
(Edited 7 minutes later.)