Follow-up to #23513 as part of the now-regular upgrade process. Doxygen released 1.15.0 within the last couple of months.