Re: [Wikimedia-search] Measuring user user satisfaction while reducing it at the same time?