Update docs/dev_guide/intro/mojito_binders.rst