The tool used for this site is Jon Sterling's "forester": <a href="https://sr.ht/~jonsterling/forester/" rel="nofollow">https://sr.ht/~jonsterling/forester/</a><p>His motivation for building it is described here: <a href="https://www.forester-notes.org/tfmt-0001/index.xml" rel="nofollow">https://www.forester-notes.org/tfmt-0001/index.xml</a>
Thanks for the link. Is there anything new in these notes? They are cleanly presented but look like the greatest hits up to about 1982. Is there anything in there about reasoning about domains? e.g. what Andy Pitts made hay out of in the 1990s.