Just added this. Now muted users are hidden for good, even in notifications. 
(If you recognise your address, no worries I've unmuted you, just testing)
(If you recognise your address, no worries I've unmuted you, just testing)
