Code editors and the agony of choice