The estimator documentation is seriously out of date from the latest changes. It needs to be updated. Specifically, the info in the user guide needs a few minor updates, but the developer's guide on the EKF needs a major overhaul.