Re: [PATCH 10/20] Documentation: kbuild/kconfig-language: eliminate duplicated word