docs(module-tools-docs): correcting the name of the document product added to .gitignore · web-infra-dev/modern.js@7932d39