root/pypi: links for integer-encoding