Co do drugiego kościoła.

Najpowsechniej stoswana nazwa to chyba "Bazylika na Skałce"? Nawet na https://skalka.paulini.pl/ jest taka użyta.

Wikipedia ma nazwę oficjalniejszą: https://pl.wikipedia.org/wiki/Bazylika_%C5%9Bw._Micha%C5%82a_Archanio%C5%82a_i_%C5%9Bw._Stanis%C5%82awa_Biskupa_w_Krakowie

Też można by dać bazylikę zamiast kościołu w nazwie.