Therefore our .pdf files can be replaced at any time by .html corresponding files in kicad doc/help sub directories.