Deprecating the word "user" · HackerTrans