See their FAQ entry titled "[2011-05-24] Is the book available as a PDF or in e-book format?" http://www.aosabook.org/en/faq.html
"We're working on it."
"If you are an expert, and would like to help, we'd be grateful for assistance. "

My e-book reader is obviously a computer and I think I could get at least a fortnight of heavy reading out of the batteries in it.

That was my first thought too :P

It sounds impressive that "it allows satellites to read English-language technical documents", but it's probably just like SQL or AppleScript; as-in looks and reads a bit like English, but really isn't. The article actually says that it reads "sEnglish", not "English". You could swap the curly braces in C for "Here is the start of a statement." and "This is the end of the previously declared statement." but we wouldn't then consider the modified C compiler able "to read English-language technical documents".