This makes me think that we should disallow [redacted = true] on non-optional message fields (as an addition to the previous work).