2 ms·

I thought so too but it turns out they are only owned by Mozilla as of 2017. The Pocket integration launched in 2015.