Convergence of natural p-means for the p-Laplacian in the Heisenberg group. (October 2022)