import * as openpgp from "https://deno.land/x/openpgp@v6.0.0-beta.3.patch.1/docs/scripts/prettify/prettify.js"; The documentation for this module is currently unavailable.