20160720 tech.tech-news: Twitter permanently bans its 'most abusive user'