While I’m on the subject of long comments, don’t waste your time leaving them. Please, we have to (well, think we ought to) moderate comments and really don’t want to spend a lot of time reading the paper you dropped into the conversation. So, we delete without reading anything too long. What’s too long? Read the comments policy to find out.