Links for micropython-doctest