The text a9fce6cee9c8, as Debian 8 (Jessie) shipped it.
Configuration file for the Mandos server
mandos-clients.conf(5) on Linux now