SomeoneElse
That's correct - https://www.openstreetmap.org/way/460356770 is still signed as Fergie's and still is (or was when I was there in the summer) obviously a former pub, hence the tagging of "disused:amenity=pub"