"gnu diff" - related articles and key terms