Pertaining to the answer within link.
Why is it the case, that for Lorentz invariant Lagrangian $\mathcal{L}$, after Wick rotation, the $O(4)$ invariance is established, thus manifesting itself as having Euclidean metric? Is that a consequence of requiring the four vector fields to transform as $A_0^E = iA_0$ and $A_j^E=E_j$ or a result of it? So which premise comes first?