On Fri, Oct 03, 2008 at 10:19:35PM +0200, Matthias Kilian wrote: > While we're at it, I'm also not a big fan of all the curses stuff; Forget this comment about curses and progress reports. I was stupid and didn't notice that it has nothing to do with curses at all. Ciao, Kili