Update DevManual.md