Provider APIs and addCommand don't work well together

monaco-editor version: 0.10.1

Providers are registered globally on monaco.languages. However, editor.addCommand returns a commandId that is unique and only applies to one editor. This means if you have multiple editors, they'll all be affected by a provider, but this provider can't work adequately. For example:

const commandHandler = () => { /* whatever */ };
const commandId0 = editor0.addCommand(0, commandHandler, "");
const commandId1 = editor1.addCommand(0, commandHandler, "");

export const codeLensProvider: monaco.languages.CodeLensProvider = {
    provideCodeLenses: (model, cancelToken) => ([
        {
            range: someRange,
            command: {
                id: "???" // which commandId should we use?
                title: "A Command",
                arguments: [],
            }
        }
    ])
};    
monaco.languages.registerCodeLensProvider("*", codeLensProvider);

The easiest solution here is likely to allow addCommand to take an optional id?: string which could be used as the id.