You should end up with a folder named prox-sensor-encoder-menu, which should contain a README.txt file and a CircuitPython 9.x folder. Open the CircuitPython 9.x folder and copy all of its contents to ...
Higher level NeoPixel driver that presents the strip as a sequence. This is a supercharged version of the original MicroPython driver. Its now more like a normal Python sequence and features slice ...