gituser/pypi: links for py8051