Remove the initial comment

It's pretty much useless becasue in practice, the original file name
will be trivial to infer from the resulting file name.