There seems to be two versions of the Global Search page on docs.moodle.org:
Should these two pages not be merged? They seem to be the same thing.
Thanks for pointing out the two pages with almost the same titles. They can't be merged, since the newest one is about a Google Summer of Code project. I have renamed it accordingly to Global search (GSoC2013) to hopefully make this clear.