pull down to refresh

I think the benefits of smaller footprint are worth it. External disk drives are cheap and widely accessible. I don’t think it’s necessarily a sign that the physical media is going away. It’s just not always necessary.