www.mlton.org/commitlog got a lot shorter. Is it a Y2K+4 bug? Or just cleaning house at the start of the new year?