Using Windows 8.1 to connect to a Windows 2012 R2 server, this issue doesn't appear anymore!
I should close this thread as "answered", but since there has never been any answer, e. g. by those who fixed this bug, I leave it open, hoping that anybody responsible reads it and in future we'll get proper answers! Like this hypothetical answer:
"Hi! We checked the source code and indeed there was a bug. It will be addressed by one of the next Windows Updates."
I think this hypothetical answer, including checking the source, would have cost a quarter developer-hour the maximum!
L.
