History rename: files. Closes #234.
History rename: files. Closes #234.