Man pages matching name html2pdbtxt in section 1:
| html2pdbtxt.1.de | debian 10 / txt2pdbdoc |
| html2pdbtxt.1.en | debian 10 / txt2pdbdoc |
| html2pdbtxt.1.de | debian 11 / txt2pdbdoc |
| html2pdbtxt.1.en | debian 11 / txt2pdbdoc |
| html2pdbtxt.1.de | debian 12 / txt2pdbdoc |
| html2pdbtxt.1.en | debian 12 / txt2pdbdoc |