Groth dropped

This is almost certainly the most random Gary Groth name-drop of the day.