Our very beloved cat was killed (fox/dog we think) the same week DD2 was born. He was 11 and we had had him from a kitten.
Although I don't feel ready yet to get another cat as still mourning, at some point I will but timing isn't ideal now of course with a newborn. DD1 is quite a bit older.
What would you do- our cat was fine with children but he was here first iyswim. Am not sure how or when to add a new cat to the family now.