On Sunday 15 October 2006 11:00, Mark Kettenis wrote:
> We really should not put history in our comments.

Good point.  Here is a patch with updated comments.

It would be good if someone could independently review, test, and
approve this, particularly anyone using an interface other than the
normal command line one.

-Fred