I forgot that I’d switched to Hex keyboard input so as to type a “thin space”, and thought that my Option key had stopped working! Panic over.