Just to report that there’s now an smarter, updated, port of the old LaTeX for Logicians pages now available at my composite website www.peters259.sg-host.com. All corrections and further contributions very gratefully received. (Another pre-term task ticked off the list!)