The standard Python readline extension statically linked against the GNU readline library.