Developer time is more expensive to the company than the user’s ram is, of course.