title.js: cleanup.
version.js: rename.