GUI: modal: extension point for the notification service (still to do)
GUI: root notification
GUI: modal context for the notifications