On asymptotic normality in estimation after a group sequential trial. Issue 4 (1st October 2020)