For stuff like that I go by what pg wrote many years ago: https://news.ycombinator.com/newswelcome.html
Empty comments can be ok if they're positive. There's nothing wrong with submitting a comment saying just "Thanks." What we especially discourage are comments that are empty and negative—comments that are mere name-calling.
It's true that empty positive comments don't add much information but they have a different healthy role (assuming they aren't promotional)
... kinda wondering if this is the sort of OT post we're supposed to avoid, it would be class if you chastised me for it. But anyway, glad you're here to keep us in check and steer the community so well.