Hello there folks.
I’ll skip the technical bits about mirroring and root directory migration to just let you know quite plainly that if you happened to browse here lately only to find yourself inexplicably looking at an abstruse file list in blue Times font, well, I think those moments are behind us. Expect a few broken links here and there. (It’s been a trickier than expected launch.)
Nonetheless, I hope you find the new site a bit more relevant, informative, cogent, and easy to read.