debian/man/krec-trinity.1