User blog comment:MasterBroccoli/Page names (Definitive Edition)/@comment-1365532-20191126091816

The pages should be renamed, but Option 2 used to highlight their original name - this both acknowledges the change that has been specifically made by the Definitive Edition and its previous name.