Update dev_manual.md