Merge remote branch 'origin/master' into edge

Author: automatic-merge

.vscode/settings.json.tmpl

@@ -11,11 +11,12 @@
       // extension.
       "LIBRARY_TYPE": "static"
    },
-   "ada.onTypeFormatting.indentOnly": true,
+   "ada.onTypeFormatting.indentOnly": false,
    "[ada]": {
       "editor.autoIndent": "none",
-      "editor.formatOnType": false,
-      "editor.tabSize": 3
+      "editor.formatOnType": true,
+      "editor.tabSize": 3,
+      "editor.detectIndentation": false
    },
    "python.analysis.extraPaths": ["testsuite"],
    "flake8.args": ["--max-line-length", "88"],