The de Bruijn diagram, and the use of the de Bruijn option, are both discussed in a general section devoted to that topic.
