Yeah, I didn't notice that. Indeed, it would be more correct not to mention Project Gutenberg at all as they say, but it shouldn't be a huge deal either way (it's all public domain material after all). Thanks for bringing this up!
