Reddit files to go public