https://www.gnu.org/software/readline/ redirects to https://tiswww.cwru.edu/php/chet/readline/rltop.html which is down. In fact, tiswww.cwru.edu seems down completely.
Chet, is there an HTML version of the Readline user Info manual publicly available on the web? If so, where? Perhaps we could just build the info manuals at https://www.gnu.org/software/readline/manual/html_node/*.html and remove the redirect?
