20140502 tech.tech-news: Twitter rolling out 'mute' feature