HoTT at Recon 2022