We aren't aware if they leaked already or not. We aren't even aware if they were used in malicious way either - state actor could make both of those companies stay silent about that.