A tropical count of real bitangents to plane quartic curves

A smooth tropical quartic curve has seven tropical bitangent classes. Their shapes can vary within the same combinatorial type of curve. We study deformations of these shapes and we show that the conditions determined by Cueto and Markwig for lifting them to real bitangent lines are independent of the deformations. From this we deduce a tropical proof of Pl\"{u}cker and Zeuthen's count of the number of real bitangents to smooth plane quartic curves.