Monday, May 24, 2021

Sharif and I continued to work on #3049 (Websocket connection in React for notifications).

I moved the “Writing documentation” section of the Developer Guide into a new top-level section “Documenter Guide” (Writing documentation). It contains a new page Shared documentation pages.