Home/Crosswords/LA Times/Ramadan-ending holiday, informally