Looking at him, I’d say there’s a high likelihood he’s autistic. We’re generally not the best at judging what’s “appropriate” in a social setting. There’s nothing wrong with going up and telling him directly, but shaming isn’t helpful - especially when it’s done behind his back.