The source project of this merge request has been removed.
Make snippet search case insensitive.
It seems more likely that users will not be certain of the casing of search keywords (consider e.g. "List (ordered)" vs "Ordered list"), than that case sensitive filtering is desirable.
CC: @srodiger