Reword English grammar.
"windows": []
},
- // How much time we should be available for reading $PATH from the shell.
+ // How much time to allow for reading $PATH from the shell.
"shell_timeout": 10,
// Show a report for problems on a line by hovering over the gutter.
