[PATCH v2 06/17] cli/show: add information about which headers were protected

[Rollins, Jameson]

On Mon, May 27 2019, David Bremner <david at tethera.net> wrote:
> The name "header-mask" is a bit generic, but I don't have my head in
> this topic like you do. I was thinking of something like
> "replaced-headers", but it's only a mild suggestion.

I think the point is that the headers are more accurately "masked" than
"replaced", since you can look under the hood and recover what the
original header was.