Twitter's announcement to hide abusive and/or harassing tweets, particularly from the likes of Trump, grabbed headlines, but has little teeth.