> BTW, where is the TODO file ? It isn't shipped with the
> sources, AFAIK.

No, it is on my desk, written on numerous sheets of papers :p