After the maintenance stop of the past 8 November, the left navigation menu of the different workspaces is not shown, making it very difficult to navigate through the workspace (see attached screenshot).
Note: all workspaces use the so-called 'Documentation Theme'
