Links for circuitpython-typeshed