re: #374 reine.de.tout

Was it?
I don’t recall that.

I only recall that those who want to, can turn it “off” in their profile, if they don’t want to use it or see what their ding count is.

Some systems (like Disqus) only have an upding button. The rationale is that downdings can discourage people from voicing controversial or minority opinions.