Thanks Dennis.
That forum post I’ve linked to now has the added info about that specific bug:
You need to make sure you turn off Import Workspaces from Project in the Workspace before converting.
I guess there’s still no guaranty.
This in fact implies that one should finish all projects before upgrading, or at least keep the old version until they’re finished