Use month numbers in urls (#101): properly deprecate the old-style URLs.