Anna Mancini, the HP corporate archivist, along with the corporate PR department has always been very aware of and friendly to historians and hobbyists. For example they're allowing me to republish the 1979 Gordon Dickson story, "Thank you, Beep" which they commissioned for an issue of the HP Calculator Journal -- the article was never published elsewhere or online. So I am happy, but definitely not surprised, to hear this news about the manuals.