if only the Mute option actually did something. I understand that having a complete "ignore user" function could be considered censorship, but seriously, how else could Steemit protect (strong word, I know) someone from such abuse and attacks ?