20150717 tech.social: Rushdie vs Rushdie on Twitter ends in polite exchange