Bump mkdocs-include-markdown-plugin from 7.1.1 to 7.1.2 in /docs

Bump mkdocs-include-markdown-plugin from 7.1.1 to 7.1.2 in /docs #428