“notification API” is another name for ARIA notify.