fixes #1060: sorted and unique editors' names