By [Zorin-Kranich16, Lemma 3.5], it is enough to prove that for every Fø lner sequence \Phi=(\Phi_N)_N, the limit in Proposition 2.2 for averages along \Phi exists. Fix a Fø lner sequence \Phi=(\Phi_N)_N. For N,M\in \mathbb{N}, we have that
\begin{aligned}
&\left\lVert\mathcal{A}_{N,M} \mathcal{D}(n) \cdot \prod_{j=1}^k g_j(n)f_j \right\rVert_{L^2(\mu)}^2 \\
&= \int \left| \int u_0(y) \cdot \left( \mathcal{A}_{N,M} \prod_{j=1}^k h_j(n)u_j(y) \cdot \prod_{j=1}^k g_j(n)f_j(x) \right) d\mu(y) \right|^2 d\mu(x)\\
&\leq \left\lVertu_0\right\rVert_{L^2(\mu)}^2 \int \int \left| \mathcal{A}_{N,M} \prod_{j=1}^k h_j(n)u_j(y) \cdot \prod_{j=1}^k g_j(n)f_j(x) \right|^2 d\mu(y) d\mu(x),
\end{aligned}
where we used the Cauchy-Schwarz inequality in the last step. We observe that
\begin{aligned}
\int \int \left| \mathcal{A}_{N,M} \prod_{j=1}^k h_j(n)u_j(y) \cdot \prod_{j=1}^k g_j(n)f_j(x) \right|^2 d\mu(y) d\mu(x)&= \left\lVertA_{N,M} \prod_{j=1}^k (h_j\times g_j)(n)\left(u_j\otimes f_j\right)\right\rVert_{L^2(\mu\otimes \mu)}^2
\end{aligned}
where we denote by (h_j\times g_j)(n) the action of G\times G in the product X\times X. Since clearly h_j\times g_j is a polynomial sequence in the nilpotent group G\times G, we have by Walsh [Walsh12, Theorem 5.1] that
\lim_{\min\{N,M\}\to \infty}\left\lVertA_{N,M} \prod_{j=1}^k (h_j\times g_j)(n)(u_j\otimes f_j)\right\rVert_{L^2(\mu\otimes \mu)}=0,
concluding that
N\mapsto \frac{1}{|\Phi_N|} \sum_{n\in \Phi_N} \mathcal{D}(n) \cdot \prod_{j=1}^k g_j(n)f_j
is a Cauchy sequence in L^2(\mu), and thus it converges.