On 2 Oct 2008, at 15:56, Ken Harris wrote: > > I guess we can call this one resolved. I'm glad it solves the problem for you. To us others: that doesn't mean that the bug is fixed, given that we've got an estimated 12,000 regular users (and many more occasional users) who are using one of the distributions released from CVS. Let's be professional and support the stable 22 branch until a good while after 23.1 has been released!