Summarize inference data (HDI)

Sorry, doesn’t this naming assume that the HDI and the equal-tail intervals coincide?