In the documentation about how to point code-server to a different extension gallery (https://coder.com/docs/code-server/latest/FAQ#how-do-i-use-my-own-extensions-marketplace), reference is made to either setting environment variables (which works fine) or setting values in product.json. There does not seem to be such a file in ~/.local/share/code-server and I cannot locate where it is supposed to be. Can its typical location be documented?