Rename a bunch of example filenames.