Vatican server names sounded somewhat interesting too: Michael, Gabriel, and Raphael. They set up their own ISP and cloud hosting since then, but it was a funny gig they did in the past.