4 ms·
Oops: For the record, DomTerm is https://domterm.org https://domterm.org, while bothner.org is (I believe) some unrelated German family. (My personal/family we
by Per_Bothner 5y ago
Oops: For the record, DomTerm is https://domterm.org https://domterm.org, while bothner.org is (I believe) some unrelated German family. (My personal/family website is bothner.com.)