Currently there are no bugs known to me. Feel free to tell me if you
find anything. You find my e-mail address and my GPG key fingerprint in
README.
You find an up-to-date list of known bugs at
<http://btmdx8.mat.uni-bayreuth.de/~johannes/files/userneu/BUGS>
