I am not sure this is adding anything substantial to the comments, but maybe it helps
to spell things out. At least this used to confuse me in the past. I found a remark in a recent preprint of
Deligne-Flicker helpful: *Transport of structures (Bourbaki Ens Ch. IV) is the principle that any isomorphism $Y_1 \to Y_2$ extends to objects constructed from $Y_1$ and $Y_2$. When $Y_1 = Y_2$: symmetries extend. The construction has to be canonical: not involving choices.*

Let me now explain why $Aut(\bar k/k)$ acts on $H^i(X \otimes \bar k, \mathbb Q_l)$ (where $X$ is a $k$-scheme and $k \to \bar k$
is a fixed algebraic closure) *by transport of structure*. Let's first take a step back and use two different
algebraic closures $\sigma_i : k \to K_i$. (I learnt this from Tate, in fact I think his global class field theory article
in Cassels-Fröhlich.) Then by canonicity of etale cohomology, any isomorphism $K_1 \to K_2$ between $\sigma_1$ and
$\sigma_2$ gives us a canonical isomorphism $H^i(X \otimes K_1, \mathbb Q_l)$ and $H^i(X \otimes K_2, \mathbb Q_l)$ of
$\mathbb Q_l$-vector spaces. (Never mind that it's easy to say what this map actually is, the point is that we know there
has to be one!) In particular, if we take $K_1 = K_2 = \bar k$, we get a canonical $\mathbb Q_l$-linear action of $Aut(\bar
k/k)$ on $H^i(X \otimes \bar k, \mathbb Q_l)$. I think the argument is the same when we replace
$\mathbb Q_l$ by (the pullback to $X \otimes \bar k$ of) a constructible or lisse $l$-adic sheaf over $X$.

Now for your second example, we can play the same game: take two universal elliptic curves $f_{\infty, i} : E_i \to
M_\infty$. Any isogeny between them gives us a canonical isomorphism of Deligne's $\mathbb Q$-vector space $W$ (or rather
$W_1$, $W_2$). Hence if we take $E_1 = E_2 = E$, ...

Finally, let me consider one more example from Deligne's writing that I found very cryptic in
the past. Namely, paragraph 0.2.5 in his article "Valeurs de fonctions et périodes d'intégrales"
(http://publications.ias.edu/deligne/paper/379). Basically what he is claiming is the following.
Suppose $X$ is a smooth projective variety over a field $k$. For an embedding $\sigma : k \to \mathbb C$
let $H_\sigma := H^*((X \otimes_k \mathbb C)(\mathbb C), \mathbb Q)$, which is a $\mathbb Q$-vector space together
with a bigrading on its complexification (by Hodge theory). He says that "by transport of structure", we obtain
an isomorphism $F_\infty : H_\sigma \to H_{c \sigma}$ such that moreover $F_\infty \otimes c$
carries $H_\sigma^{pq}$ to $H_{c\sigma}^{pq}$ (where $c$ denotes complex conjugation).

The point is to follow his definitions very carefully: suppose $\sigma : k \to K$ is an embedding
into an algebraic closure $K$ of $\mathbb R$ (i.e., abstractly $\mathbb C$, but it's important not
to work with just this copy). Then $H_\sigma := H^*((X \otimes_{k, \sigma} K) (K), \mathbb Q)$ and the
bigrading is on $H_\sigma \otimes_{\mathbb Q} K = H^*((X \otimes_{k, \sigma} K) (K), K)
= \oplus H_\sigma^{pq}$. (Sanity check: for Hodge theory we indeed want to have the same field of
definition and coefficients.) Now again take $\sigma_i : k \to K_i$. Any isomorphism $\tau:K_1 \to K_2$ between
$\sigma_1$ and $\sigma_2$ gives us a canonical
isomorphism $F : H_{\sigma_1} \to H_{\sigma_2}$ of $\mathbb Q$-vector spaces. This in turn gives
us a canonical isomorphism $F \otimes \tau : H_{\sigma_1} \otimes K_1 \to H_{\sigma_2} \otimes K_2$, and by canonicity of the Hodge structure it
sends $H_{\sigma_1}^{pq}$ to $H_{\sigma_2}^{pq}$. Now specialise to $K_1 = K_2 = \mathbb C$,...

(I find it interesting how Deligne explains in his interview https://www.simonsfoundation.org/science_lives_video/pierre-deligne/ that he is very bad at calculations and therefore needs to work very canonically,
otherwise he gets lost. He also says that he learnt about "transport of structure" from
reading Bourbaki's "Set theory" as teenager.)

4more comments