Updated the developers' manual to reflect the new situation