@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.
@FerdiZ Yes. In your settings click the data export and then click the CVS, choose for example Microsoft Exel or similar, if you choose "Notes" maybe you will see all users but without any space between users, I say maybe because I try.