Thank you for that note about Microbit. I actually just bought one to play around with and was very pleased with how effortless first time setup was - entirely from a browser with Microsoft Makecode*, no need to download or install anything (I tried following the instructions to get it to work with Scratch, which involved downloading a .hex file like you mentioned, but apparently requires connecting via Bluetooth? and ultimately could not get it to connect). BUT it stupidly hadn't occurred to me that I should also test the Microbit with a Chromebook.