What's new?

Date URI Description
2021-01-20 Mobile Devices I'm kind of getting sick of these Google "not optimized for mobile devices" accusiations. All live checks claim that everything's just fine, but the crawler keeps complaining. Thanks a bunch for messing this up.
2021-01-09 Cleanup I've removed entries older than about 10 years from this file. There's not much left now .
2021-01-08 Mobility All pages should now render correctly on mobile devices.
2021-01-06 HTTPS Most HTTP requests will now redirect to HTTPS. I'm absolutely sorry that the related changes intervene with a couple of time stamps (the "last modified" (or whatever) dates you'll see might be misleading and falsely imply that some older pages are still under active maintenance).

Please refer to CHANGELOG.txt from the current snapshot for changes to tac_plus et al. ...

 Made with VI 
 Valid CSS 
 Valid HTML 4.0