do we control the codemux setting name? it's ... opaque.