Update developer manual and documentation