Comment by userbinator

That is insane. I've had similarly idiotic "decisions" made by Google when searching for error codes --- things which are also similarly unique, and their uniqueness is the key to finding relevant results. Instead, searching for e.g. 1234 gives 1235, 1236, 1233, and even 12345, but no 1234. I used to use quoting but even that doesn't work now. Absolutely useless.