Ответы справочной службы
Верен второй вариант, запятая ставится.
Справочники
Слово Пасха пришло из греческого языка, в котором, в свою очередь, было заимствованием из арамейского. Арамейский – это близкий к древнееврейскому язык, на котором говорили в Иудее в I в. н. э. Интересно, что в русском православном календаре Пасха – единственный двунадесятый праздник, для которого используется заимствованное название. Но Пасха имеет и русское название – Светлое Христово Воскресение. Пасха – первоначально иудейский праздник; казнь и ...
...Пасха...
...Фараон не желал отпускать евреев, пока Бог не явил ему свою силу, послав на Египет 10 казней....
Учебник
В этом правиле — самая основная информация о пунктуации при пояснительных конструкциях и кое-что о заглавных, или прописных, буквах.
...В этом правиле — самая основная информация о пунктуации...
...Пояснительные конструкции...
...Сравните: Герман в «Пиковой даме» играет в штосс, или фараон (штосс и фараон — разные названия одной и той же игры). Давайте сыграем в слова или шляпу (предлагается выбор из двух разных игр)....