loongson/pypi: links for certora-cli-alpha-gereon-cert-2195-separate-query-from-result