Good news for a change. The old Jolly Sailor(currently marked as closed) has miraculously been redeveloped and refurbished. Its new name is The Wharfside. As the exterior looks rather different, I don't know whether the old listing/photo is appropriate. Perhaps you could tell me what the form usually is, in such cases?
Cheers