Do played development cards get reshuffled back into the deck? — CATAN FAQ | RulesPal