Slight improvement to our editor list (#360) [ci skip].