renames History.txt -> History.rdoc