Thanks - when I started tagging I asked which was preferred, old_name or was:name and I was told that using either would be fine so I've chosen to use old_name. This page seems to say that most people prefer old_name over was:name:
https://wiki.openstreetmap.org/wiki/Key:old_name