I started with version 6, thought the manual was great, but then never used it. For both v6 and v7, the video tutorials were by far the most helpful, and I use the online help (which is also very good) for more detail. For things that I need repeatedly, such as search syntax, I have printed it out (all five or six pages), so I've not missed the printed manual in version 7 one iota.

As a developer myself, I understand both the importance of enduser documentation and the need to balance that importance with cost and accuracy. I would not want to maintain to lines of documentation for anything. Actually, I don't like maintaining any documentation. But I'm glad y'all do such a good job of it!