[dead]
That's not appropriate, as pg made clear back at the beginning:
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.
https://news.ycombinator.com/newswelcome.html
https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...