1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
const doms = new Set([  'AbortSignal',  'CryptoKey',  'CryptoKeyPair',  'Headers',  'Response',  'URL',  'URLSearchParams',])
module.exports.load = function load(app) {  app.renderer.addUnknownSymbolResolver('typescript', (name) => {    if (doms.has(name)) {      return `https://developer.mozilla.org/en-US/docs/Web/API/${name}`    }  })}