Both flashing and REPL over webUSB appear to work. There's the need for a files button to retrieve any data that a program had written to the microbit