I am sure it depends on which 'server' one uses in the settings. that I was told to tune in their discord channel. I changed it from one to another - one problem disappeared, another did appeared :) it always works that way (like a windows soft; "reserved for the new errors" )))

atb