docs: the install command named someone else's package

`pip install gridlock` installs Jan Petykiewicz's coupled-gridding
library, not ours. Our distribution is `gridlock-certify`, which is
not yet on PyPI, so the correct instruction is the pinned git+ URL.
Also pins the previously-unpinned refs to @v0 .1.0.

README.md

@@ -29,21 +29,21 @@ Run the same check locally, including importers that build the graph from Kubern
 Python source:
 
 ```bash
-pip install gridlock
+pip install "gridlock-certify @ git+https://github.com/nickharris808/gridlock@v0.1.0"
 gridlock import k8s ./manifests | gridlock check -
 ```
 
 The page reimplements gridlock's decision procedure in JavaScript, and a reimplementation is a
 second chance to be wrong. `differential_test.py` in this Space checks the two against each other
 on random graphs: **400 graphs, gridlock found a cycle in 343, 0 disagreements.** Re-run it
-yourself with `python3 differential_test.py` (needs `node` and `pip install gridlock`).
+yourself with `python3 differential_test.py` (needs `node` and `pip install "gridlock-certify @ git+https://github.com/nickharris808/gridlock@v0.1.0"`).
 
 <!-- PORTFOLIO -->
 ---
 
 ## The rest of the portfolio
 
-25 artifacts, one idea: **a measurement you cannot check is a press release.** Every tool
+24 artifacts, one idea: **a measurement you cannot check is a press release.** Every tool
 here reports; none of them gates.
 
 **Tools**
@@ -87,7 +87,6 @@ here reports; none of them gates.
 
 | | |
 |---|---|
-| [`negative-results-atlas`](https://huggingface.co/spaces/nickh007/negative-results-atlas) | ten claims we took back |
 | [`tenant-leak-demo`](https://huggingface.co/spaces/nickh007/tenant-leak-demo) | the residency calculator |
 | [`wait-for-visualiser`](https://huggingface.co/spaces/nickh007/wait-for-visualiser) | paste a wait-for graph, see the cycle ← you are here |