I'm not sure when you have been there last. The smoking ban passed a few years already, I haven't smelled cigarette smoke inside in a long time. Patios on the other hand is a different story altogether where sadly smoking is still allowed.

Indeed I now realize it may not be very up to date. I was there pre pandemic perhaps this is now changed as you say.