pull down to refresh

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