Update developer manual.