Oh, sorry, I was thinking/testing of alternative ways to mark this random shop and trying to figure out what it is - forgot to remove this, as it doesn't mean anything sensible in this comment. Thank you for noticing!