Enabled console/completion/4233/issue4233.js again (bug 927413 got fixed
in FF 27)