Arthur Spitzer <arspitzer2 at gmail.com> writes: > Never mind. Was looking at October and didn't realize that it was November > so they did make it. > Arthur "Nevermind.." Spitzer Those months sneak right up on you. Particularly November, who turns sideways and hides behind January. -- Russ Allbery (eagle at eyrie.org) <https://www.eyrie.org/~eagle/>