Just use Chrome Dev tools on any page of the explorer, you'll see them being called.

They're undocumented not because they're secret, but because there is now compatibility guaranteed, they're from the explorer's purpose, made for the explorer's JS code, and they can be changed / replaced at any time without notice, and they can use obscure ad-hoc formats as well.