Notifications have been improved: now, when an account has been muted (either by a user or an admin) the notification of their actions are deleted, which comes really handy when someone is having an activity peak and you d'ont want to clean your notifications one by one ;).