I have discovered some unexpected behaviour of the RP2040 after a hardware reset. If I run the following code as main.py using rshell and repl, the on board LED turns red then green. But if I reset...