Renamed, files other than those from format-corpus.  #77