hi, I notice the shortcut button for the external editor is missing now. Was this intentional ? I’m using it all the time