First of all, thanks for the great software Lubos!
Since desktop version 19.12.3 on Windows, · and ▯ symbols are appearing in the window title while working in a business:
I have also noticed (pre-dating 19.12.3) that when editing options on the Preferences screen, the window title can become a bit unfriendly:
These issues continue through to the latest version 19.12.12 and I am using Windows 10 Version 1909 (OS Build 18363.535). I haven’t tested Mac/Linux/Server/Cloud.