did so and the fonts look fine and are readable without eye cancer. ;-)
But: - the GUI was not rendered in a separate OS-window (like when the problem was observed) but within a new browser tab
Yes, that's intentional.
- on the first run, all the previuosly configured servers were absent, the servers node in the tree was empty - on the second run all the servers were shown and were accessible as expected