Start referring to 1.7
Flare output fit for other people's use
Remove dependency on gui-diff