AARGH ... but I really don't think I ought to have to double check this sort of thing.
I opened the library and filtered once by Collection: Church Documents (the Verbum supplied collection) and once by the Publisher: Libreria Editrice Vaticana. A partial list of church documents appearing in the second list but not the first. Those in bold clearly belong in the first.
- Acerbo Nimis
- Ad Beatissimi Apostolorum
- Ad Diem Illum Laetissium
- Angelus of Pope John Paul I
- Angelus-Regina Caeli of Pope Benedict XVI
- Angelus-Regina Coeli of Pope John Paul II
- Annus Iam Plenus
- Apostolic Constitutions of Pope Benedict XVI
- Apostolic Letters and Motu Proprio of Pope Benedict XVI
- Audiences of Pope Francis, 2013-2015
- Audiences of Pope John Paul I
- Audiences of Pope John Paul II
- Catholic Teaching on Apostolic Succession
- Christianity and the World Religions
- Communion and Stewardship: Human Persons Created in the Image of God
- Communium Rerum
- etc. ....
This is not a completely accurate method of checking but the error rate is not acceptable. In addition, this calls into question whether the data and links in the Catholic Topical Index has been kept up to date.
Further testing suggests that ~ 130 documents have not been added to the Church Documents collection based on this collection where VSCD is the default Church Documents Collection. I am not claiming to have identified all the possible cases.
