Sync repl-browser.js