Leave size optimization to gzip, touch.js now at 937 bytes. :)