delta haddocks
highlighter haddocks and deadcode elimination
some basic result docs