Misc cleanup of editor settings and extensions UX