tp-disabler (npm): Private Plugin
Keywords: theia-extension