Notification settings

Notification types can be adjusted in a grouped settings window: task events, reminders and team events, each with its own on/off switch. Older read notifications are deleted after 30 days so the list stays readable.