@@ -3121,7 +3121,7 @@
},
"tooltip": {
"type": "string",
- "value": "Create a new formalism."
+ "value": "create a new formalism"
"code": {
"type": "code",