debian/man/diatheke.1