@devpodio/markers (npm): Theia - Markers Extension
Keywords: theia-extension