That would match how other extensions use the Run button. It also makes it easier to read/write files in the workspace.