Enabled console/completion/4233/issue4233.js again (fixed in issue 6842)