Some properties in extension API like

are exported with let because they can change, but this also implies that extensions can set them. That isn't allowed, only vscode can change them. Some similar properties already use const. We should normalize these to const everywhere to avoid confusion.

readonly communicates the intent a little better, but this is a namespace, not properties on an interface. But I think it's clear from the name and behavior that these properties will change.