Genuine curiosity here, just to ruminate a bit: is there a reason you disallow the model from seeing it at all? I can totally accept not wanting any edits, and that's more than reasonable. But even close source binaries end up with useful patches once someone knows that a particular loop does something weird or a process implementation behind a protocol is actually a different interpretation than the protocol definition itself belies. Seems like being aware of it is at least helpful, but again, curious!