Extracting JavaScript polyfills