Case-insensitive searches from RichEditor columns

I use json columns for RichEditor columns, but that makes a basic filament table search

col like '%search%'

col like '%search%'

case-sensitive. Has anyone figured out okay ways to make case-insensitive searches from rich text columns?