The Technology 202: Tech issues divide Democrats, including Twitter’s handling of Trump’s tweets