> and speaking of readline, it would still be good for lua.c to set > rl_readline_name and (maybe) rl_inhibit_completion as discussed > recently. Yes, we will do it. -- Roberto
