Leading or trailing white space characters in file names

[Travis Cobbs]

I definitely don't intend to force the first line in the file to be a comment line (file title). Based on Steffen's argument, I'm not even sure at this point that we should disallow white space before that leading 0, but my intention was only to say that if the first line happens to be a comment line (which means it's the file's title), then there shouldn't be leading white space.