Add some notes to DEVELOP.md