O.K., let's go with this for now. If it's theoretically possible to have a redacted extension, we might want to do a bit more work to support it when we emit the extension map in MessageAdapter.toString().