fa7e1ba docs:Better output file names.