Thanks! We needed to rush things a bit at the end - I guess that this caused a lot of bugs to creep in. But we plan to make a bugfix release during chrismas holidays or so.
