Merge branch 'pseudo_insensitive' into 'dev'

Case insensitive search

See merge request federez/re2o!390
Status Job ID Name Coverage
  Lint
failed #1426
lint

 
Name Stage Failure
failed
lint Lint There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job trace