This is not necessarily malicious though. Probably some in-house framework they use that happens to use this old browser API. And they haven't gotten around to

This is not necessarily malicious though. Probably some in-house framework they use that happens to use this old browser API. And they haven't gotten around to fixing it. Of course it's also reasonable that nobody is pushing a fix up because it works fine on Chrome and that's what Google wants us to use.