Yes, for some Islamic holidays we use here "traditional" version of the name rather than translated one. Where Eid al-Fitr and Eid al-Adha can still be translated (as "Feast of Breaking the Fast" and "Feast of Sacrifice"), I can't find a suitable short name for Isra' and Mi'raj and Ashura, for example :)
Originally posted by @KJhellico in https://github.com/vacanza/python-holidays/issues/1673#issuecomment-1913590649