It’s like when you see someone you know at a place, but you are both doing stuff so just a quick ‘hey’ and head nod and you go about your day :p