<a title="JSON save format for diff, including diff_retrieval helper function " href="https://github.com/convexengineering/gpkit/pull/1557">PR 1557</a>: JSON save format for diff, including diff_retrieval helper function