Issue #3580400: Remove mkdocs include-plugin dependency

Closes #3580400

Merge request reports

Loading