To find settings of an extension I always use the settings gui, it has way better discoverability, so far searching for the name of the extension and approximat

To find settings of an extension I always use the settings gui, it has way better discoverability, so far searching for the name of the extension and approximate keywords yielded the setting I needed quite quickly. I use settings.json to check or change settings I already know, and for sharing them with others.