OK, OK :-)

[Ian Jackson]

I accidentally deleted the test for whether the bug had been marked as
done.  Don't bother reporting this, ahm, interesting feature any more.

I'll fix it and produce another list.

Any other comments that people haven't made yet ?

Ian.