Just to clarify, although a related bug report was filed, the bug has not been fixed. My OP tries to get to the heart of the matter. I believe that the problem with saved states is only a side-effect of the problem I highlighted.