Not sure if the script from the first patch is wanted, but at least the second patch that fix typos in man/*.xml files should be applied. [PATCH 1/2] tools: add script to detect repeating words in docs [PATCH 2/2] docs: remove repeating words from man/*xml Karel