In the devcontainer document at https://code.visualstudio.com/docs/remote/devcontainerjson-reference
It writes that "An array of extension IDs that specify the extensions that should be installed inside the container when it is created. Defaults to []". But what are extension IDs? I did not find such IDs in the web pages of extensions.