I understand the rules for how search tokens are placed according to the number of hero players in the campaign.
Also I am aware that a search card is taken from the desk after a player uses an action to search.
My question is when these cards are returned to the deck is it reshuffled at the end of the encounter?
With this approach the nothing card or treasure hoard card could theoretically be drawn many times.
The other option is to discard the card to the back of the deck and over time all of the cards would be drawn during a campaign but exactly when would still be unknown.
which way do you guys play?