17 January 2024 # I added some links, fixed some bad links, and generally updated things at my home page.