> Personally I think we should have gotten rid of the Debian menu years > ago, I don't think my opinion is shared by many people in Debian > though. > It is truely kind of doubled effort to have the debian menu extra to the actual menu. The question is who will step forward and propose the removal? We can make a new thread for this.