Suggestions for future versions of Gurobi Optimizer