After Google Summer of Code, this repo is going to experiment lots of (good) changes. This is the state it was right before those changes are introduced.

This is just a maintenance "release" to provide a couple of eBook versions for those interested. It's not perfect, because it's been done from the single HTML page, but it's readable (and searchable). If you observe any specific error in this edition, please raise an issue.