Yeah, that’s me! I don’t usually remember to pay attention to user names, but yours also seems vaguely familiar from ye olde reddit days.

There are probably more of us around than we realize, and I’m just one of the few who never understood the point of regularly deleting their user accounts. But it’s nice to know my contributions are noticed and appreciated—thanks!