{"Testing123" -> "Testing and implementing lemmas 1,2,3 of the DoPeGDO \
handouts. Continues <a \
href=\"../2019-11/index.html\">pensieve://2019-11/</a>, continued <a \
href=\"../2020-02/index.html\">pensieve://2020-02/</a>."}
