Hedgehog 9.3

Removed Kushal's DifEqController.