root/pypi: links for sequent2