Split off ZRE-DISC spec to separate RFC