root/pypi: links for micropython-pathlib-full