Thread:Suggest use of term WikiEducator (1)

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.

Thoughts?