OFStateManager: add message name to several gentable log messages