MakerDAO weighs ditching $390M of Gemini Dollars from DAI reserve.