The main reason for enabling combination of lenses' time delays to infer H0 is to enable a principled outlier model to be made: lenses that have measured time delays that predict H0 to be very different from the ensemble should be inferred to be suffering from some unknown systematic error, and discounted. This can be done probabilistically (see Hogg et al 2010). Urgency is low - this is something that could be addressed in a pull request from a Good Team, even.
The main reason for enabling combination of lenses' time delays to infer H0 is to enable a principled outlier model to be made: lenses that have measured time delays that predict H0 to be very different from the ensemble should be inferred to be suffering from some unknown systematic error, and discounted. This can be done probabilistically (see Hogg et al 2010). Urgency is low - this is something that could be addressed in a pull request from a Good Team, even.