Here is the list of notables rabbis names used in the Torah Codes thing. R. Elijah Levita was included?
Cool.
I don't know why "Eliyah Hamedakek" was out, or why by the Vilna Gaon "Rabbi Eliyahu" and "Ha-gaon" was in but "Ha-gra" was out. I like how the Noda Beyehuda is called the "Baal Ha-Tzlach."

Here's the entire paper (link).