The author thanks:

* Sergey Romanov, who provided a great patch file and suggestion to fix
  many errors in the documentation

* Martijn Dekker, who pointed out many long-hidden bugs

* Adrian Perez, for implementing the le-predict-empty option
