One challenge here is if we do want to keep it that RE can work when n=0 for RE targets.

oh. hm… i think that it would be ok to just deprecate the global platform-properties