Hi Merlin,
Found this :
http://ask.metafilter.com/37558/How-...hots-in-a-book
I would say HOL is a non-commercial documentation project and so it would be 'fair use' to have to screenshots along with the info.
But doctor-nibble is using them for advertising and even if the use of the screenshots is 'fair', the theft of bandwidth without permission is not.