Links for circuitpython-stubs