gituser/pypi: links for micropython-fileinput