settings.json is a JSONC (JSON with Comments) file. While standard JSON does not support comments, JSONC supports including comments (both in-line and stand-alone) with //.

Thanks to jonrsharpe for the insight.