Yeah, let's just add it there or in its own thing ("Allow setting PE version globally in config file instead of per-host" sounds like a feature unto itself)