I'm not planning on doing any more edits in Bath and had planned to just take the suggestions https://gregrs.dev.openstreetmap.org/fhodot/?lat=51.37958&lon=-2.37274&zoom=15&layer=suggest to nudge the FHRS matches over 90% but got carried away and violently updated a few mismatches when a local survey would be better. I'll leave alone now. 

I always used to change to old_fhrs:id but stopped at the end of 2023 when I noticed  https://www.openstreetmap.org/changeset/144884624 https://maproulette.org/challenge/42576/task/205026172 tidying up after me and that many fast food outlets had multiple historical old_fhrs:id values and looked very untidy

I still leave old_fhrs:id values in Amber Valley where numbers are reused but elsewhere have stopped doing so

I'll leave Bath to you and the local community now. The new FHODOT tool is very helpful https://gregrs.dev.openstreetmap.org/fhodot/?lat=51.37596&lon=-2.40702&zoom=13&layer=osm and a more gentle approach with local knowledge would always be better



