Hey Tristan!

Yes, I initially used RDP but later switched to VNC and did a couple of restarts. I think the machine is not locked, because VNC would give me an error message in that case, which doesn’t happen.

Also when I try to change the resolution using VNC I have very limited options, 1600x1200 is the highest one I can choose. Maybe that’s related to the issue?