Does it matter which search engine is used? A user study using post‐task relevance judgments. Issue 1 (24th October 2017)