The Wikipedia Android app team improved a core feature: searching for articles. Along the way, they experienced a surprise.