AFAICT, this seems to have been fixed at some point anyway. I can at least no longer reproduce it with VNC, not on 42.3 but also not on (a fully updated) 13.1.