Whoops, that's embarrassing.

I quit working at Reddit a few years ago and don't do much there any more, but yes, that's me. Thanks!