pull down to refresh

We risk making the same mistake that the DEI people made... which is take something that a lot of people agreed with (diversity, etc.) and take it way too far.