A Haar meager set that is not strongly Haar meager (Q2303681)

Let \((G,+)\) be an abelian Polish group. A set \(A\subseteq G\) is said to be Haar meager if there are a Borel set \(B\supseteq A\), a nonempty compact metric space \(K\) and a continuous function \(f:K\rightarrow G\) such that \(f^{-1}(B+g)\) is meager in \(K\) for every \(g\in G\). \(A\) is strongly Haar meager if there are a Borel set \(B\supseteq A\) and a nonempty compact set \(C\subseteq G\) such that \((B+g)\cap C\) is meager in \(C\) for every \(g\in G\). Answering a question of \textit{U. B. Darji} [Topology Appl. 160, No. 18, 2396--2400 (2013; Zbl 1278.54016)] the authors show that these two notions are not the same. They construct a \(G_\delta\) Haar meager subset of \(\mathbb{Z}^\omega\) that is not strongly Haar meager. On the other hand, it is shown that every \(F_\sigma\) Haar meager set is strongly Haar meager.