root/pypi: links for py8051