Update documentation for libreadline requirement

fixes #8091