Comment by tcberry

They could use a different username on HN than Reddit.