Things you didn't know about GNU readline (2019)