[Bug] Using "header" with "replace" doesn't work

[MasterInQuestion]

    @gwarser
    Version 1.58.0 Stable.
[[

	*$header=content-type:/^text\/html?(?!\w)/i,replace=/$/XXXXXXXX/

]]
    Separately they work.
    Also tried reversed order: I doubt there's really semantic difference.

    Also the header name matching appears to be case-sensitive: seemingly unintended and unreliable.


    I further noted "header" doesn't chain:
    *$header=content-type:/^(?:(?:image|(?:vide|audi)o|font)(?=\/|$)|application\/(?:x-)?font(?!\w))/i,header=content-length:( !( exist && /^\d+$/ ) || > 65535 ),domain=*
    (hypothetical, yet not working)
    [ Very much enhanced version of: https://github.com/uBlockOrigin/uBlock-issues/wiki/Per-site-switches#no-large-media-elements ]

    Which should be the cause.