Reddit users lost? Do we at this point have any substantial data on just how many users Reddit actually lost due to this?...