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.
If you think in terms of what's good/bad for community it may make more sense.
(I hope it's clear this applies whether or not the mods were mentioned in either a positive or negative way.)
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.
If you think in terms of what's good/bad for community it may make more sense.
(I hope it's clear this applies whether or not the mods were mentioned in either a positive or negative way.)