On 2004-07-08, at 15.14, Michael Hudson wrote: >> > > This is not in the way of being a helpful comment :-) *lol* >> Should I do this with the bug-manager or should I post here? > > Bug tracker's probably best. Assign it to me. The bug is submitted and assigned.