Of all of the tech platforms that Russian trolls infiltrated during the run-up to the 2016 election in the United States, Reddit has been among the least forthcoming.