more readline in ex15a.py and ex20.py
use shorthand notation +=