We can probably just remove this script (either now, or for 1.9.0).