Mozilla is buying Pocket, which is a dramatic shift. [nzzl.us]