[diazc]

His works are public for everyone to see and copyright is evil, so this PDF is very welcome as it is also public.

They are also not charging for this, so I don't see a problem with this.