update DEVELOP.rst