Ok, I didn't mean for things to get insulting. My first comment to them was a neutral attempt at telling them there is something else they could do instead. Their reply was a rude "no!" so I wrote back more reproachfully.

I realize it's a bit of a fight against windmills. People will do what they please and the platform will float towards whatever the natural equilibrium position of such platforms is, so I'll just let it go.

[–] porcoesphino@mander.xyz 1 points 1 hour ago

I probably didn't deserve that reply but thanks.

For what it's worth, I'm with you that the tools have a button doing this so using a comment isn't ideal for the person that made it and affects everyone else. So I do see that action as a bit unreasonable. I just saw the push against it as more unreasonable, honestly less the fact you made the comments and more that they seemed reasonably upvoted