On Mon, 22 Feb 2010, Ronald S. Bultje wrote: > Well in fact, I guess I could look at whether it works for the others, > and it does, so patch OK. And I learned new doxy today! Applied. I also tested generating new doxy docs from this, and it worked just fine. // Martin