Once https://github.com/eclipse-theia/theia-blueprint/pull/93 is done, we should switch the product config example (https://theia-ide.org/docs/composing_applications/) to the extension pack.