> Should I report bugs one by one (it will be a lot of them), or in one > bug all this things? > > IMHO second resolution is better. Probably with a mixture of both we might be able to get some of this stuff in. Can you put diffs somewhere on a web-page? greetings, Florian La Roche