Do name pages that have all of their credits removed ever get pruned?

While watching Gangland Undercover, I noticed that someone had misread one of the credits and created a name page for Brandan Eckstrom. However, the onscreen credit is for Brendan Eckstrom. I removed all the credits and added them to the correct name but the page remains. I suppose I should have merged the pages instead?