* Make "to your mana pool" optional in mana abilities
* Remove "to your mana pool" entirely
* Remove "to your mana pool" in card scripts
* Remove "to your mana pool" in scripts_missing
* Remove "to your mana pool" from other places
* Remove "to [anyone's] mana pool"