About the VS Code Extension category

For all things related to the official CircleCI VS Code extension.