I guess we shouldn't rely on the extension this much. I mean, we currently deprecate or break so many APIs that this shouldn't be an issue.