Addendum to DEVELOP.md