LaTeX for Logicians refresh

As a bit of distraction from all the other logic-related things I really ought to be doing, I’ve just been tidying the LaTeX for Logicians pages for the first time for a good while. After a bit of re-arrangement here, some renewing of broken links there, then working a few suggestions in comments (thanks!) into the main pages, and doing some searching on e.g. tex.stackechange, here we are.

The front page of the LaTeX section of this website was visited over 100K times last year, so some such pages seem to be a needed resource. And indeed, whatever one’s issues and reservations about LaTeX for more general use, it is still surely quite invaluable for logicians. Do please let me know, then, how these pages can be improved, what new LaTeX packages of use to logicians that I have missed, etc.