We want to tell the user to run a DRC if they haven't already. We're thinking of adding a property to the design, reading it and notifying via styleset, but we can't add the property with the DRC code. Is it po