Ah, I see what it does now. It’s the shortcut for toggling the code font on and off. I didn’t notice before because I didn’t type anything after using the shortcut, just wondered why I was still looking at the same page!