Remove now-unused visibility options in JS UI
Add dialect and done to JS highlighting