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

From: Stefan Kangas <[email-masked]>
Date: Tue, 5 Jul 2022 19:26:12 +0200

Lars Ingebrigtsen <[email-masked]> writes:

> In any case, I think renaming all the functions and variables here would
> not be worth the churn -- there's quite a lot of them.

On the other hand, you only need to do it once.