On Tue, May 28, 2013 at 9:47 PM, Terry Reedy <tjreedy at udel.edu> wrote: > On 5/28/2013 10:19 AM, Dirkjan Ochtman wrote: >> >> It's possible something broke with the @-filename. > > I am planning to change '@' to '_' anyway. > What's wrong with just "README" or "README.txt"? Best Regards, Ezio Melotti