@ino @FerdiZ You should be able to mute/unmute a user on their profile page. But there's no muted users list, so finding their account to unmute them isn't easy.
A muted list is definitely needed, as is adding Mute as a choice on the "…" menu for posts.