@wiptheia/navigator (npm): Theia - Navigator Extension
Keywords: theia-extension