Merge pull request #1641 from joelmartinez/docs-monodoc-mdoc-patches