Updated DEVELOPER_MANUAL.md