Added a PR to  Pico-PIO-USB (Closed #3).

 Created an issue in another repo.