Stubs for Webtools editor completionProposals