[info-gnu mirrors]

bash: https://lists.gnu.org/archive/html/info-gnu/2022-09/msg00012...

readline: https://lists.gnu.org/archive/html/info-gnu/2022-09/msg00013...