root/pypi: links for acl2-kernel