Upgrade to YUI 3.13.0.