@devpodio/preferences (npm): Theia - Preferences Extension
Keywords: theia-extension