Assistive-Explorer.js explorer or walker?

[pkra]

We sometimes call it walker, sometimes explorer. Should these be identical? If so, we should decide on a unique name.

[pkra]

In particular, the extension is called Explorer but the relevant option is walker.

Since the extension provides much more, perhaps it should be named differently.

[dpvc]

Actually, the extension is called "Explore" not "Explorer", though I think the latter is better. I prefer "Explorer" to "Walker", but am not adamant about it.

[pkra]

As per my own suggestion at #117 (comment), I created https://github.com/mathjax/MathJax-RespEq/wiki/Harmonizing-naming

[dpvc]

Thanks. That should be a good basis for discussion on our next call.