Wrong name?

Where does the name "Murphy's Dungeon" with 'ph' come from? Officially I've only ever seen it as "Murfy's Dungeon" with an 'f', like here --  16:27, 12 December 2019 (CET)

Good question! I noticed this when trying to fix a link, so I added a redirect in the meantime, but like I said in the edit summary this should probably be the other way around. Does the name appear in the game? —    19:58, 12 December 2019 (CET)
I checked the localization file and it is referred to as "Murfy's Dungeon" in the game too --  20:01, 12 December 2019 (CET)
Then the page should be renamed! —    20:06, 12 December 2019 (CET)
Done! --  20:56, 12 December 2019 (CET)
Return to "Murfy's Dungeon" page.