There's a page reload workaround in chooseDevice that's a real hack. https://github.com/microbit-foundation/microbit-connection/blob/c01107d291ead6aa9cf387427df0cc8d88192d56/lib/bluetooth.ts#L336 Ideally we'd determine if still necessary and make it an option the calling code has to be aware of.