Update `synopsis.js`.