C#: Model System.Console reads as stdin threat-model

Author: RasmusWL

csharp/ql/lib/ext/System.model.yml

@@ -3,9 +3,9 @@ extensions:
       pack: codeql/csharp-all
       extensible: sourceModel
     data:
-      - ["System", "Console", False, "Read", "", "", "ReturnValue", "local", "manual"]
-      - ["System", "Console", False, "ReadKey", "", "", "ReturnValue", "local", "manual"]
-      - ["System", "Console", False, "ReadLine", "", "", "ReturnValue", "local", "manual"]
+      - ["System", "Console", False, "Read", "", "", "ReturnValue", "stdin", "manual"]
+      - ["System", "Console", False, "ReadKey", "", "", "ReturnValue", "stdin", "manual"]
+      - ["System", "Console", False, "ReadLine", "", "", "ReturnValue", "stdin", "manual"]
       - ["System", "Environment", False, "ExpandEnvironmentVariables", "(System.String)", "", "ReturnValue", "environment", "manual"]
       - ["System", "Environment", False, "GetCommandLineArgs", "()", "", "ReturnValue", "commandargs", "manual"]
       - ["System", "Environment", False, "get_CommandLine", "()", "", "ReturnValue", "commandargs", "manual"]