> It's echoJS, no echoStudent
I don't get your point. There are a lot of folks who are unaware of EditorConfig. Also, it is always a good idea to introduce your readers to some tools they might not know about. If they do, well, then they can just skip the paragraph and move on.