Man pages matching name doc in section 4:

doc.4.de	debian 10 / txt2pdbdoc
doc.4.en	debian 10 / txt2pdbdoc
doc.4.de	debian 11 / txt2pdbdoc
doc.4.en	debian 11 / txt2pdbdoc
doc.4.de	debian 12 / txt2pdbdoc
doc.4.en	debian 12 / txt2pdbdoc