I assume we won't be able to make a high-quality release before christmas. Therefore I suggest that we make a beta release before christmas, which does not yet contain the doc package. Then people can test the new stuff and report their errors. We shall only provide a .tar.gz source package. Martin