import * as tepi from "https://deno.land/x/tepi@v1.0.54/vscode-extension/main.js"; The documentation for this module is currently unavailable.