Search the text of one version of DESL at a time. Each result names the section it is in.
Search needs scripting, which is off in this browser. Everything else here works without it: the table of contents and the schema browser of DESL 0.2.