Da bei Debian die, die die Arbeit machen, als 'Debian Developer' (DD) bezeichnet werden, kann man, glaub ich, Entwickler so stehen lassen, denn die sollten schon etwas mehr tun als der Debian Maintainer. Aber grundsätzlich hast Du natürlich recht.