It is! I made the edit to change this from "Andrea Ludgate" bar to "Paternoster Tavern": https://www.openstreetmap.org/changeset/181715726  It's a pub now. It's even advertising cheap beer! Photo: https://www.instagram.com/p/DYRzHg5tziw/ (In 2026 we can call £5 per pint "cheap"!)