Suggest use of term WikiEducator
The Policy for Community Workgroups defines a WikiEducator as any registered user of the WikiEducator websites. I started to make this editorial change, but now I wonder whether we need to define it somewhere first, so it can be referenced in other policies. I know this is a minor point, but I'm thinking issues of defining terms might come up in other policies (defined in one policy, used in lots of others).
Well, one thought would be to add it to the definitions section.
The resolution on this is to use WikiEducator members to refer to registered users of any of the WikiEducator websites.