Renders the notifications page, /notifications, for a signed-in user. It
reads them from GET /api/me/notifications and adds the ones WSContext
receives while it is open.
f
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.
Usage
import * as mod from "src/pages/Notifications.tsx";