bug#56401: "Case folding" should be called "ignore case"

[Stefan Kangas]

Phil Sainty <psainty@orcon.net.nz> writes:

> I agree that "fold" isn't intuitive to newcomers, but I also think
> it's good to try to limit the number of different terms used to
> express a concept.

Agreed, though I would add that it isn't intuitive to old users either
(case in point: me).  So let's start moving in the right direction.