Hard thermal loops with a background plasma velocity

I consider the calculation of the two- and three-point functions for QED at finite temperature in the presence of a background plasma velocity. The final expressions are consistent with Lorentz invariance, gauge invariance and current conservation, pointing to a straightforward generalization of the hard-thermal-loop formalism to this physical situation. I also give the resulting expression for the effective action and identify the various terms.