Text this: New methods for estimating the tuberculosis case detection rate in high-HIV prevalence countries: the example of Kenya