Added pointer to developer manual