Many simultaneous soft notifications

Soft notifications are stacked in case there are more than one pending at a time: after the topmost one is discarded, the one following it will be displayed. Each notification has a priority value that determines the order of the notifications.