grep -i foobar k
to this: grep '[fF][oO][oO][bB][aA][rR]' k
That allows the matcher to search in buffer mode, rather than having to extract/case-convert/search each line separately. Currently, we perform this conversion only when search strings contain neither '\' nor '['."
I would counter your question by asking, isn't your comment here practically and intellectually useless?