Bill was using Thonny, a Python IDE that is popular in the education ... Note that you have to connect to your module over USB first and make sure that WebREPL is enabled in boot.py.