Renamed the tagged documentation file.