novidades do telescopio Lucifer

Voçê acha que o Vaticano tem um telescopio chamado Lucifer?
Ou a lente do mesmo recebeu o apelido causando confusão e especulações?
saiba mais em
https://es.wikipedia.org/wiki/Gran_telescopio_binocular