Files
micropython/tools/insert-usb-ids.py