OldDeckName property

It would be very useful for an OldDeckName property to be set when a card has been drawn from a Deck.

Up to now, workarounds require using the location of the deck, most efficiently coded by defining a Zone around the deck’s location. OldDeckName would be an improvement on this.