diff (informal abbreviation for 'different')