Programming note: Happy Labor Day! To our U.S.-based readers, happy Labor Day weekend. Extra Crunch will be off on Monday and will resume publishing next Tuesday.