Talk:Doc Holliday

Rename possibility
This is a genuine question, and I'm neither FOR nor AGAINST it... I was wondering whether it would be better to rename the page to "Holliday" or "John Holliday" given the fact that "Doc" was not actually his name, but a nickname given to him since he was the local doctor of O.K. Corral, Tombstone? --DCLM ☎  13:02, October 22, 2019 (UTC)