Re: [patch] "config.values" belongs in --docdir