Re: [PATCH 1/2] libedit: A command line editor library