Nice. I wrote up another possible derivation here https://ngr.yt/blog/kalman/ in case anyone is interested.