• Relevant theia packages:
• Plugin API
• Remote procedure call API (main/ext)