No, you didn’t need new spectacles. One little “}” missing, and the last half of the lovingly crafted TYL version 12.0 was all in the smaller font intended for postscripts and asides. Pah! Sometimes \(\LaTeX\) is annoying. Just a tinsy bit.
OK, so here’s version 12.0a, which is at least easier on the eyes.