$ $BROWSER -dump http://groups.google.com/|grep but The old Google Groups will be going away soon, but your browser is incompatible with the new version.