This is what I get for answering quickly. There are not unique credible intervals, the credible intervals of minimum width are highest density intervals and are unique for unimodal distributions (but not otherwise).
You can definitely open an issue to inquire about the interval end naming. I would be curious to see what they say.