reword; what's "These"? `verbatim` environments can't be nested? `iftoggle`?