updates to DEVELOP.md