Summary
- merged
- support VSCode DocumentHighlights; clarified modules;
- clarified file URLs, notably for Windows UNC paths;
- more language support;
- tuned whitespace;
- proper line_offset;
- clarified message severity, based on empirical observation of VSCode 1.8.1;
- avoid escape of '/' in JSONFormat.quoteString;
- more liberal drive letter, for the sake of file:// URLs;
- clarified master_dir: file-URL;