Your first map fits in an action of the Steenrod algebra. This is because
In fact $H^*_{ét}(X;\mathbb{F}_2)$ is the homology of a chain complex $C^*_{ét}(X;\mathbb{F}_2)=R\Gamma(X;\mathbb{F}_2)$ that, an element of the derived category of $\mathbb{F}_2$ which has the structureproperty of being an $E_\infty$-algebra over $\mathbb{F}_2$.[1]
This means that not only it is a commutative algebra for the derived tensor product (beingthus generating a cup product on homology) but the derived global section ofcommutative and associative relations can be upgraded with some explicit homotopies that satisfy additional relations (the precise definition is a sheafbit of commutative rings)a pain to write down without the appropriate formalism, sobut it has an action of the Dyer-Lashof algebraboils down to be "as commutative as you can hope to get").
In particular its homology $H^*_{ét}(X;\mathbb{F}_2)$ has more structure than just the cup product: it has an action of an algebra called the Dyer-Lashof algebra. The negative degree part of the Dyer-Lashof algebra, which is nothing more thanexactly the Steenrod algebra (negative degree because, as every good homotopy theorist, I always use homological grading). ThisSo, $H^*_{ét}(X;\mathbb{F}_2)$ inherits an action of the Steenrod algebra from the $E_\infty$-structure on the chain level.
Incidentally this is exactly the same mechanism underlying the action of the Steenrod algebra inon the ordinary cohomology of spaces, and in general every time you have a well behaved notion of "derived global sections" you can get a Steenrod algebra action out of the deal.
Ideally we would want $H^*_{ét}(X;\mathbb{F}_2)$ to be an unstable module over the Steenrod algebra (that is $Sq^ix=0$ for $|x|>i$) but I don't know if this is true.
NOTE: The existence of two "Bocksteins" means that the algebra acting naturally on $\bigoplus_n H^*_{ét}(X;\mathbb{F}_2(n))$ is presumably bigger than just the Steenrod algebra. I think it could be interesting to figure out exactly what algebra this is. Unfortunately I'm unaware of any work in this direction.
[1] The $E_\infty$-structure is due to the fact that $R\Gamma$ is a lax monoidal functor in the derived sense, being the right adjoint of the pullback functor which is symmetric monoidal, and so it preserves algebras for every operad.