pull down to refresh

it's not super shocking to me that the newer editors are so hefty. because disk space and compute power are so "cheap" compared to optimizing code for efficiency, turning out a product takes precedence over putting out a highly optimized product.