[wp-hackers] jQuery alternatives?

[Luke Bryan]

Greetings all,

I heard about an interesting library some time ago called Zepto js. It's
apparently a very lightweight, jQuery-compatible library that in some cases
can be much faster than jQuery (see http://www.greensock.com/js/speed.html)

Considering that the only downside of this seems to be that it doesn't
officially support ancient IE9 or older browsers, I was curious if
Wordpress developers had considered swapping it out or using some other
jQuery alternative at some point in the future?

Best regards,
Luke