Update DEVELOPER_MANUAL.md