On local Lipschitz regularity for quasilinear equations in the Heisenberg group. (November 2021)