Kyllä, tiedän.  Siitä me keskustelemme.  Virallisessa luettelossa Benedictus IX lasketaan ilmeisesti kolme kertaa (hänen kolmen hallituskautensa osalta), mutta valittu paavi Stefanus jätetään pois.  Aion korjata sen.