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