The attached additional patch restores the original dates of reference to the commentary, where appropriate.

Relative to commit 437a13201659d805fbdea9e89cbf22023de3ba79, dated Wed Jun 25 13:53:15 2014 -0700.

--
Tim Parenti


On 25 June 2014 16:58, Paul Eggert <eggert@cs.ucla.edu> wrote:
On 06/25/2014 01:09 PM, Tim Parenti wrote:
why are we retaining the usno* files in the first place?

Only inertia, as far as I know.  These latest glitches suggest that they're more trouble than they're worth nowadays, and that it's time to remove them.  Attached is a proposed patch, which I've added to the experimental version on github.