MrDoc is on GitHub & Gitee

There are issues & pull requests on both sides. Sometimes the same one: