It looks like a temporary server hiccup yesterday. wget correctly pulled down the PDF file for the 15th today. I checked and it also pulled down the file for the 14th.
-- Walter Dnes <waltd...@waltdnes.org> I don't run "desktop environments"; I run useful applications
