@adders It's a sad day. Also, well said.