Renamed doc files to simplify.