I'm trying to encode what platform an EPR did in fact run on, which can't be None

that sounds like it's a different data point and might deserve a new enum?