Historical Rules · 1 November 2013
Rule 103.1a
Official source text from the 1 November 2013 Rules release
If a player is using a sideboard (see rule 100.4) or double-faced cards being represented by checklist cards (see rule 711.9), those cards are set aside before shuffling.