Links for quax-circuitpython-typing