I wouldn’t be surprised if there is lots of money to be made de-anonymizing Reddit users