>
> FWIW, maxvnodes is probably "better" as a power-of-2, since the hash
> table size is rounded up to the next power-of-2 anyway.
>
What would be the reason for the default of 17191 (not a power of 2)?