somecomments

app.py

@@ -577,6 +577,8 @@ def extensions(self):
     parser.set_defaults(debug=False)
     args = parser.parse_args()
 
+    # The default configuration must be kept unchanged as it is committed to the repository, 
+    # so we have to make a copy that is not comitted
     if args.config=="default":
         args.config = "local_default"
         if not Path(f"configs/local_default.yaml").exists():