Groth dropped


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