Bash provides the interactive commands forward-search-history and reverse-search-history typically bound to the keys CTRL-s and CTRL-r respectively.
Are there case-insentive equivalents or is there a configuration to have these commands case-insensitive?
bind -P | grep -iE 'search|case' did not turn out anything relevant.