I may occasionally edit comments for brevity. I will usually make a note when I do such a thing.
Short comments like “This was very useful; thanks!” will be deleted if they don’t meaningfully add to the content of a post. You are welcome to make the comment, but it will not be saved because it interrupts the flow of the conversation without adding to it.
The content and copyright of all comments belong to the original comment authors.
If you give me your email address in the comment form:
- It may be used to notify you when someone replies to your comment.
- I may use it to contact you directly, regarding your comment.
- It will not be displayed publicly on this site.
- It will never be added to a mailing list or provided to a third party.