{
  "julia.useRevise": true,
  "julia.persistentSession.enabled": true,
  "editor.unicodeHighlight.ambiguousCharacters": false,
}