It absolutely had something to do with it. I don't think anyone would say that Instapaper is 4x better than Pocket ($3.99 vs Free). If anything Pocket has clearly made a name for itself with better design and its new Pocket for Publishers API. I think Instapaper saw its peak about 6 month - 1 year ago and with The Magazine doing well, it was smart of Marco to sell it off in my opinion.