There was no compromise necessary. Pocket is possible as an extension, cf the work being done right now to integrate it as one. Why was it rushed out before? What was so pressing about it that it needed to be in "the next firefox version" and massively damage Mozilla's reputation, instead of waiting a few months and passing it without a fuss?