/gnu/dist/readline/doc/