anchor.diff:        example = [ "/run/keys/ipsec-foo.secret" ];
         description = ''
           A list of paths to IPSec secret files. These
  -        files will be included into the main ipsec.secrets file
  -        with the `include' directive. It is safer if these paths are absolute.
  +        files will be included into the main ipsec.secrets file with
  +        the <literal>include</literal> directive. It is safer if these
  +        paths are absolute.
         '';
       };
   
  
positive.code:       default = {};
        example = { cachecrls = "yes"; strictcrlpolicy = "yes"; };
        description = ''
          A set of options for the `config setup' section of
          the `ipsec.conf' file. Defines general configuration parameters.
        '';
      };
  
  
negative.code:         };
        };
        description = ''
          A set of connections and their options for the ‘conn xxx’
          sections of the <filename>ipsec.conf</filename> file.
        '';
      };
  
  