This isn’t the setup for a joke: Last week, after the death of Robin Williams, a US Army veteran and a supporter of Islamic militant group ISIS tweeted their regrets. Soon the pair were swapping recollections of their favorite Williams movies and other pop culture trivia.