I’m confused; I thought “editors” referred to people who could promote posts, and consisted of Eliezer Yudkowsky, Robin Hanson, and maybe one or two others (Eliezer even has the “Editor” tag by his karma circle, while the ones listed on that page do not). Here it seems to be instead referring to people who can edit posts? Do we need a new term for one of these groups?
I’m confused; I thought “editors” referred to people who could promote posts, and consisted of Eliezer Yudkowsky, Robin Hanson, and maybe one or two others (Eliezer even has the “Editor” tag by his karma circle, while the ones listed on that page do not). Here it seems to be instead referring to people who can edit posts? Do we need a new term for one of these groups?
wmoore is also listed as an “Editor” by the karma circle.