Make search case insensitive

[dmcassel]

From JH:

I noticed a search for VMware (how my iPhone capitalizes it) on docs showed no results. Because we spell it VMWare. Really I think our docs site should be case insensitive. Right now it appears unspecified which behaves as case sensitive on queries containing capitals.
That logic that capitalization in the query indicates you mean to be case sensitive is thrown out the window when my phone does capitalization.

I agree with his reasoning -- the use of mobile devices changes the assumptions about capitalization.

[kcoleman-marklogic]

I think it's one of those lose-lose situations. I will be very, very unhappy if I have to type in case sensitive type and method names every time I want to look something up related to Java, SJS, or Node.js. Or that "Connector" finds hits but "connector" doesn't.

If you're actively developing, do you really use your cell phone instead of your laptop to search the documentation? Let's be conscious of what use case we're optimizing for.

I think the right solution to this is an advanced search feature, not arbitrarily deciding that most searches would benefit from being case sensitive.

[kcoleman-marklogic]

Well that was a dumb comment. I thought you were proposing to make the search case SENSITIVE. Sorry. Not enough morning tea ingested.

I still think the right answer is an advanced search control, but I won't throw a temper tantrum if you change it to case-insensitive. :)

There's a task out there somewhere for advanced search already, but you can guess how likely that is to happen in our lifetimes.

[dmcassel]

I think going case-insensitive by default, with an advanced feature for case-sensitive. And yes, advanced search isn't likely to happen soon.