${lf("Use the miniUSB port on the top of the EV3 Brick")}
${lf("Download again to send your code to the EV3 over Bluetooth. Make sure to stop your program!")}
${lf("You will be prompted to select a serial port.")} ${lf("On Windows, look for 'Standard Serial over Bluetooth link'.")} ${lf("If you have paired multiple EV3, you might have to try out multiple ports until you find the correct one.")}
` }).then(() => { enableWebSerial(); }) } } : 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