Bayesian analysis of the lifetime performance index on the basis of progressively censored Weibull observations. Issue 2 (4th March 2022)