Links for micropython-typeshed