History: Renames a Page to Account for Renaming of one if its Translation

Source of version: 2 (current)

Say, a ((Page Author)) renames an English page. Say this page has a French translation. Then, there will be some hint on the French page that it may need renaming too. See: ((Renaming A Page Signals That Other Linguistic Versions Of That Page May Need To Be Renamed)). Later on, a ((Page Translator)) sees this hint, and decides to replicate the English name change on the French side. This is not exactly like a normal content change translation. It's a page name translation. Need to figure out the proper UI to do this. Page renames should be in history too.