I posted a comment to this question, giving a link to a relevant and useful document. The comment was deleted by someone, without informing me of the reason. Why do such comments get deleted? Note that this wasn't an "opinion" comment or in any way biased.