pull down to refresh

Thanks for the detailed post. I have never heard of Gauss before - and certainly learnt a lot