Reddit’s CEO regrets trolling Trump supporters by secretly editing their posts