Clarify why we define disco.  Suggested by Andrew Dalke.
1 file changed