So this is just a workaround. We could decide to intercept ctrl+f. But let's see for now if this is good enough.