Although, unusually for Condorcet voting, Option 7 did actually fully meet Condorcet's criterion (which is "beats all the other options when considered pairwise"). Usually Condorcet is complicated by A-beats-B, B-beats-C, C-beats-A issues - the complexity normally lies in how you then breaks those ties.
I am not a DD but I did follow the vote and would have voted for Option 7 if I had had a vote. I prefer Debian, as an organization, to concentrate on its free software mission and avoid entering other issues.