On Eid al-Fitr, the Feast that Ends Ramadan, “Eid al-Fitr Mubarak”