Text this: A Bayes Formula for Nonlinear Filtering with Gaussian and Cox Noise