But like with everything, having a great choice of fantastic text editors is always good so everyone finds something they enjoy using.