import * as openpgp from "https://deno.land/x/openpgp@v5.3.1/docs/scripts/prettify/prettify.js"; The documentation for this module is currently unavailable.