1 Title: Simplified user setting: Temporarily disable notifications
11 The user profile setting for temporarily disabling all notifications was a set
12 of two nested checkboxes which both had to be checked for disabling the
13 notifications. This has now been fixed to be only a single checkbox again.