Tone down warning about GNU Interactive Tools