[Tagging] key educational

[Jmapb]

On 8/16/2019 10:56 PM, Warin wrote:
> I think the key:educational maybe better used later for schools,
> colleges, cram schools etc.

The (dormant) proposal for these was
education=school|university|tutor|cram_school etc.

https://wiki.openstreetmap.org/wiki/Proposed_Features/Education_Reform_Alternative

I do feel that having "educational" as a key would inevitably lead to
confusion, if these education=* tags ever become accepted and used
(which I personally hope they do.)

J