Fix minzipped size in `synopsis.js`.