- ability to disable use of non-ascii characters (configuration option)
- changed SIGINT behaviour
- html export filter creates now valid html documents
- ability to disable use of non-ascii characters (configuration option)
- changed SIGINT behaviour
- html export filter creates now valid html documents