Except that Planet Labs annual revenue is almost twice that, and has been for a while. So it's likely not them. No idea who it would be though.