[theia-dev] Remove Theia Plugins from documentation

[Jonas Helming <jhelming@xxxxxxxxxxxxxxxxx>]

Hi,

The documentation on how to develop Theia Plugins is outdated (https://github.com/eclipse-theia/theia-website/issues/313).

AFAIK, most people are using Theia extensions or VS Code extensions and Theia Plugins are a niche. Is anybody willing to fix the Theia Plugin Documentation (and the generator) short term? If not, I would propose to remove it from the documentation for now to not confuse new users. Please respond with your thoughts immediately. If there is no veto, I will take action on this on August 18th.

Pleas respond here: https://github.com/eclipse-theia/theia/discussions/11579

best regards,

Jonas

--

--

Dr. Jonas Helming

Principal Software Architect / General Manager
EclipseSource
Email: jhelming@xxxxxxxxxxxxxxxxx
Web: https://eclipsesource.com
Phone: +49  89 21 555 30 - 11 

EclipseSource GmbH
Messerschmittstrasse 4
80992 Muenchen

General Managers: Dr. Jonas Helming, Dr. Maximilian Kögel
Registered Office: Messerschmittstraße 4, 80992 München, 
Commercial Register München, HRB 191789