root/pypi: links for ppx-pride-v3