Refined central limit theorem and infinite density tail of the Lorentz gas from Lévy walk. (10th September 2020)