Better styling, minor proof read edits for grep.pdf