Search /wasd_root/WASD_ROOT/DOC/ENV/*.html
   

Case sensitive?  No Yes
Treat HTML as if plain-text?  No Yes
Open hit in new page?  No Yes
Extract this number of lines around a plain-text "hit":