We’re using a sass transformation of $header_primary there, so I guess the description is a half-truth.
Before we switched to SVG we used to use the default $header_primary color with opacity reduced (which was a little closer to what you’d expect), but Safari was having issues with opacity and svgs.
It’s come up a couple times before (How to Change Header Icon Color?), so it’s something to consider improving.