- Note, however, that this fix as it is introduces an additional complication for card scripting in the form of extra parameters ForcedRevealToController / ShowOptionalAbilityPrompt. I tried making these global and based on card logic but there are enough card scripts that utilize ChangeNum$ All + NumToDig$ 1 in different ways that making it global in different ways tends to break different card scripts. Better ideas are welcome.
- Fixed Explorer's Scope effect. This also fixes abilities like that of Ajani, Mentor of Heroes which are supposed to be optional but were not treated as optional before.
- Note that this change may break something. Testing is welcome.