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