pull down to refresh

Thinking about it, diff must be among the oldest productivity tools I still use every day - for over 30 years now, and I was 20 years late to the party!
The paper is nice to read too.