The Wikipedia Library : the biggest encyclopedia needs a digital library and we are building it.