id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,testcase
20,Subdivide -de-verbose and -de-info flags,SamB,,"Often, I want to see the actual ""names"" of anonymous identifiers but don't care so much about the rest of the stuff enabled by {{{-de-verbose}}}; likewise I might be interested in seeing the information that {{{-de-info}}} attaches to top-level names but not to lambda/pi bound names.",defect,closed,normal,,unspecified,,invalid,,,