I recall a few posts when he moved out there. Based on a quick look at my archived IP emails: https://seclists.org/interesting-people/2018/Jun/35 https://secli

I recall a few posts when he moved out there. Based on a quick look at my archived IP emails: https://seclists.org/interesting-people/2018/Jun/35 https://seclists.org/interesting-people/2018/Jun/35 https://seclists.org/interesting-people/2018/Jul/2 https://seclists.org/interesting-people/2018/Jul/2 https://seclists.org/interesting-people/2018/Jul/84 https://seclists.org/interesting-people/2018/Jul/84