Configuration or command to for case insensitive bash history search

Question

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.