Correct, and in my opinion, I guess it's pretty hard to understand the concept of PRO being somethong else other than only a MMORPG, but opening it up to the possibility of being nuzlocked or speedran, is way more fun and, in the ladder, competitive, than challenging yourseld to beat a boss without "X" pokémon. But let's see what staff thinks.
Honestly, other than it being hard to code, I don't see any downside or counter arguement that isn't a "simply no".