"Private Workspace" appears twice in Workspace selector
I am not sure how to trigger this behaviour but it occurred a few times already, working on dev.dmx.systems with dmx-5.0-SNAPSHOT_2020-07-02_10376.zip.
We created a few user accounts for testing and at some point the entry "Private "Workspace" appears twice in user's Workspace selector. This happened when logged in as an unprivileged user. The first entry is the right one and I can switch to it. When I select the second one the view doesn't change/I stay where I am, I do not go to that Workspace, no Topicmap is selected. So no private information is revealed but I should not see the second entry.
The Workspace selector with two entries:
This is what it looks like when I try to enter the second Private WS: