Update DeveloperManual.md