Update and rename v19.js to v20.js