So is dwarf galaxy Leo I named for Pope Leo I or for the Roman emperor Leo I? At least they didn’t name it after Attila.
Leo 1 and the star Regulus are in the constellation Leo.