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

[Eli Zaretskii]

> From: Philipp Stephani <address@hidden>
> Date: Fri, 12 Apr 2019 14:23:01 +0200
> Cc: Philipp Stephani <address@hidden>
> 
> This provides an alternative to 'ido-max-directory-size', for
> directories that are statically known to be too big for Ido
> completion.

Thanks.

> +** Ido
> +*** New user option 'ido-big-directories' to mark certain directory
> +patterns as big.

This doesn't say what is a "pattern" and what is the meaning of "big"
in this context.  Could that be at least hinted at?

> +(defcustom ido-big-directories nil
> +  "Additional directories that should be considered big.
> +Ido will ignore directories matching any of these regular
> +expressions."

The doc string should explicitly say what is the form of the value.
Also, since the elements of the sequence are regular expressions, the
first sentence should mention that, or at least say they are strings.