A `grep' for structured text like SGML and HTML