Historical Rules · 23 August 2019
Rule 701.18h
Official source text from the 23 August 2019 Rules release
An effect may instruct a player to search a library for one or more cards more than once before instructing a player to shuffle that library. This is the same as a single instruction for that player to search that library for all those cards. The player searches that library only once.