Just a note that the WDK docs are also available on the MSDN website. Each page of the MSDN docs allow the reader to rate it, post comments, or post additional information via a "Wiki". The documenation team is very proactive about using the ratings, comments and Wiki entries to improve the docs.