Google Groups recently started rewriting the From: header, garbaging our git log. This script rewrites it back, using the Reply-To header as a still working source. Closes #11416