So what happened?

[Bucky Ball]

I am studying the ranks of FSM's angelic legions.
They're far more edible than the Babylonian "El" god's messengers, (Gabri-el, and Rapha-el, also Micha-el, Uri-el).
The Fettuccine and the Linguine worship pretty close up to the Divine Colander.

Funny, Lucifer doesn't have the -el.

Very (seriously) interesting comment.
"Ante luciferum, genuite" (Latin - Isaiah ... "before the daystar, I have begotten thee") ... the name came from a reference to the "daystar", (and the phrase is, or was, used in the Roman Christmas liturgy.)
In Latin, the "light-bringer" (ie preceded the sun rise), ie Venus, was the lightbringer, and "fell from heaven" occasionally when it was not visible.
There is also a history of when the word "Lucifer" was mis-translated, which is log and boring. So yes, Lucifer is not one of the Babylonian messengers of the god El Elyon, but the origins of the word and when it was used as a name are pretty well known and understood.