I'm not sure about that. I suspect that no-one has thought about redrafting the rules to take account of TIP being "open" again. My expectation would be that it would be regarded as part of "Europe", along with Algeria, Tunisia and Morocco.
If anyone has any real experience with ticketing TIP on a xONEn ticket then please post it here.