{"Demo" -> "Demos for my Oberwolfach-1405 talk.\nThe .nb (source) file is at \
<a \
href=\"http://drorbn.net/AcademicPensieve/2014-05/GoodFormulas/\">http://dror\
bn.net/AcademicPensieve/2014-05/GoodFormulas/</a>."}
