readline: rename from bash (which is just one application)
bash: keyboard page for bash shell defaults