The text 331f0d4bdd3d, as Debian 9 (Stretch) shipped it.
Introduction to the Mandos system
intro(8mandos) on Linux now
