Episode 715: Smaller laptops from HP