I don't understand that point; how are they going to engineer it so that it's impossible to target the menubar via CSS?
I'm saying that Github is going to apply the dark styles by default soon (without the modifier class) and the only way to revert the header will be to rewrite the old styles.