note about jgrep and deep-grep