I want to be polite but I find it just ignorant to say "search tools should become smarter..." because one of the search tools is my brain and my brain says: foo_bar != foobar != fooBar. That is leaving the audience to cope with a design decision based on a personal opinion. And yes. This is my personal opinion.
Besides that there is also very little chance that editor authors around the world will make their search (like 'identical word highlighting') "Nim" compatible. This can be avoided by using the same style consistently oneself but defies nonetheless the argument. I would ask: What are the pros and what are the cons of 100% matching identifiers. I do not see many cons besides some fuzzy "freedom of choice" feeling. For me programming is about accuracy! I don't want "fuzzy" identifiers. I also find it a bit amusing that a typed language has fuzzy identifiers.
