Despite the little notice in the comments section telling us that comments along the lines of 'thank you' aren't welcome because they don't move the discussion forward mathematically, I have always made a point of trying to thank other users when they elucidate something for me or otherwise help me out.
Recently, I had a 'thank you' comment on an answer to a question of mine get deleted; I have an educated guess as to who deleted it and why, and no real qualms with the deletion in this instance, but it made me realize that the moderation staff might be taking a harder line stance regarding professionalism. This is understandable, but I am curious what the community here feels should be prioritized: professionalism or decorum?
These things aren't diametrically opposed to one-another; any successful professional environment will naturally have some version of 'politeness' built into its structure and decorous environments naturally engender professional pursuits (to some extent), but they aren't synonymous either.
I personally try to err on the side of decorum in any environment, but this could just be me being weird. What are some other community opinions?