Re: [PATCH] Add a new user option 'ido-big-directories'.

[Eli Zaretskii]

> From: Philipp Stephani <address@hidden>
> Cc: Philipp Stephani <address@hidden>
> Date: Wed, 17 Apr 2019 20:31:52 +0200
> 
> +(defcustom ido-big-directories nil
> +  "List of directory pattern strings that should be considered big.
> +Ido will ignore directories matching any of these regular
> +expressions."

I think NEWS describes better what is "big" in this context, so I
suggest to use that instead of the last sentence of the doc string,
which is less precise.

Thanks.