July 1: So it begins. Don't worry, this is not in the correct legal jurisdiction!
Clutch Switch
Clutch switch is installed near clutch pedal. With clutch pedal depressed, switch is turned off. With switch off, coasting richer circuit is de-energized.