Great one! This needs communicated more broadly. I spent too many years of my life killing terminals because of a dead ssh connection.