Hi Marc,
I have two trees.
Many apologies. The timestamp problem was on the server side (related to
when I moved tug.org to new hardware months ago, sigh).
I just committed new {tlbuild,dvips}.{texi,info} files, and hopefully
you will see .info timestamps newer than .texi. We'll see how it goes ...
Thanks/sorry,
Karl