doc/developers.txt