pull down to refresh

Good point.
I was just thinking of these terms 'destructive' and 'non-destructive' formatting.