On my office PC with 4K monitor, the issue is now also gone. That is, I have no
more evidence of that resolution reset on any of my computers.