@Beregorn
Indeed, he could also just tell them that is what he was doing.
Besides, if it work like that, the actual source code would not even be modified, but would simply contain conditional declarations based upon the version.
But who knows, maybe the specification is in a formal language.