Currently we are also reading the default configuration from settings.json, so should check if users set it from settings.json or not.
If it's too complex, improving the documentation may be sufficient.
And I hope the existence of those attributes doesn't stop or prevent debugging.
cc @suzmue @polinasok