The Gaia DR2 halo white dwarf population: the luminosity function, mass distribution, and its star formation history. Issue 2 (14th January 2021)