A boundary formula for reproducing kernel Hilbert spaces of real harmonic functions in Lipschitz domains. Issue 1 (2nd January 2021)