It is true that the user-guide.ps.gz now is set for letter-size paper, but the margins of the document look wrong to me. I.e., the vertical margins look too large to me. Am I insane?