Feature request: Enable case-insensitive reverse-search-history (C-r)

[A M]

Hello, I would like to make a feature request/suggestion on Bash. (I was 
told submitting to this mailing list was the right way to do it.)

Feature request: Enable reverse-search-history (C-r) to be case-insensitive.

Currently reverse-search-history is case-sensitive and cannot be changed 
to be insensitive. As the evolution of Bash has progressed, more and 
more functions have gotten the ability to be case-insensitive, but this 
is a function that remains it seems.

It would be nice to have this functionality.

Best Regards
Alex