> 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? They look fine to me. I recently did increase them from previous versions. Anyone else?