https://diyprojectslabs.com/how-to-delete-main-py-in-raspberry-pi-pico/