Currently when a user has a document open we set the file name to be the ejson of the _id. We update the file display name to follow the pattern described in https://github.com/mongodb-js/vscode/issues/139; we’ll first try to use “name”, “title”, and then “_id” without the $oid or ObjectId(‘’) wrappers. This will be exposed as a setting for users. We already have the document saved in memory, so besides the file extension, the file naming is purely cosmetic and useful for the user to associate the document and not something we use.