I think it would be helpful to make a small document summarizing these changes in the interface as soon as they become clear, and then publish it before releasing the new JuMP, so we can quickly adapt to it by making backup src files and hopefully avoid any breakage period
