message: fetch in parallel
diff: @@ -12,10 +12,10 @@ interface IDLSource {
  async function fetchIDLs() {
  const idlSources = require("../inputfiles/idlSources.json") as IDLSource[];
  - for (const source of idlSources) {
  + await Promise.all(idlSources.map(async source =>{
  const idl = await fetchIDL(source);
  fs.writeFileSync(path.join(__dirname, `../inputfiles/idl/${source.title}.widl`), idl + '\n');
  - }
  + }));
  }
  async function fetchIDL(source: IDLSource) {
  