Rename "Davey Jones" to "Davy Jones"

BUR #7080 has been approved by @Hillside_Moose.

rename davey_jones -> davy_jones

The Pirates of the Caribbean character is currently tagged as davey_jones, but his name is canonically spelled "Davy Jones", without the e (see Wikipedia). Hope I'm doing this right.

The bulk update request #7080 (forum #196087) has been approved by @Hillside_Moose.

You don't need the "char:" prefix with a rename, but you got the right idea.

Hillside_Moose said:

You don't need the "char:" prefix with a rename, but you got the right idea.

Thank you!