WebDAV does not properly automatically login on Windows 10 restart

Pls see

which might be the same problem? I find the Desktop client broken after some late Windows update. The client seems (?) to use some Windows internals for WebDAV, which have bad reputation according consulted programmers.

BR//Walt