Buterin has coincidentally sold more than 11,000 MakerDAO (MKR) tokens for 350 eth worth about half a million dollars. That seems to be all the MKR he has in all his addresses.