Update docs/dev_guide/intro/mojito_binders.rst
Merge pull request #901 from jianlin/patch-7

Update docs/dev_guide/intro/mojito_binders.rst