Download page: correct SIP.js file sizes