Benedicti XVI, PP. Emeriti, obitus - Ravelli, Diego Giovanni (Acta Apostolicae Sedis, 2023)