grep: Make replace button and entry insensitive during search

1 job for more-fixes-2021-08-06 in 26 minutes and 28 seconds (queued for 5 seconds)