${lf("Use the miniUSB port on the top of the EV3 Brick")}
${lf("You will be prompted to select a serial port.")} ${pxt.BrowserUtils.isWindows() ? lf("Look for 'Standard Serial over Bluetooth link'.") : lf("Loop for 'cu.EV3-SerialPort'.")} ${lf("If you have paired multiple EV3, you might have to try out multiple ports until you find the correct one.")}
` }).then(() => enableWebSerialAndCompileAsync()) } } } : undefined, downloadAgain ? { label: fn, icon: "download", className: "lightgrey focused", url, fileName: fn } : undefined, docUrl ? { label: lf("Help"), icon: "help", className: "lightgrey", url: docUrl } : undefined] //timeout: 20000 }).then(() => { }); } }; initAsync().catch(e => { // probably no HID - we'll try this again upon deployment }) return Promise.resolve