Before this PR, comments in `settings.json` are marked with red lines, indicating that `"comments are not allowed in JSON."`  After this PR, this issue is resolved.  Release Notes: - N/A