readline: imnproved module for readline patching.