very tenuously related, but I forgot that Ian Murdock died over Xmas. crazy. any updates on what happened there?