Notifications(): React.JSX.Element
Renders /notifications, for a signed-in user, a page at a time as the list
scrolls. Opening the page marks every notification read on the server, and
so does each that arrives while it is open. The unread ones stay highlighted
until the page is left. Going back restores the list and the scroll, with
what came in meanwhile on top.