When in the editor, the json format defaults to mongo shell format for the JSON, i.e. retaining 'NumberInt(10)' instead of '10'.

This can make editing the json, especially if copying from spreadsheets, really fiddly. I'd like to be able to toggle to simple format

In fact when I need to do this, I use robo 3T instead.