Is this Federal name change enough to change the page name with a redirect from the old/ derogatory geographic name? edit

The U.S. Board on Geographic Names has changed the geographic name through its “Post Phase I Board/Staff Revisions” process on February 11, 2021. See: [1] and here on the “Action List” [2] Is this Federal name change enough to change the page name with a redirect from the old/ derogatory geographic name? --Ooligan (talk) 03:30, 2 April 2021 (UTC)Reply

The new name is “Isanaklesh Peaks.” --Ooligan (talk) 04:13, 2 April 2021 (UTC)Reply