Update README-for-developers.md