anchor.diff:      default = "preserve";
       example = "00:11:22:33:44:55";
       description = ''
  -      "XX:XX:XX:XX:XX:XX": MAC address of the interface.
  -      <literal>permanent</literal>: use the permanent MAC address of the device.
  -      <literal>preserve</literal>: don’t change the MAC address of the device upon activation.
  -      <literal>random</literal>: generate a randomized value upon each connect.
  -      <literal>stable</literal>: generate a stable, hashed MAC address.
  +      Set the MAC address of the interface.
  +      <variablelist>
  +        <varlistentry>
  +          <term>"XX:XX:XX:XX:XX:XX"</term>
  +          <listitem><para>MAC address of the interface</para></listitem>
  +        </varlistentry>
  +        <varlistentry>
  +          <term><literal>"permanent"</literal></term>
  +          <listitem><para>Use the permanent MAC address of the device</para></listitem>
  +        </varlistentry>
  +        <varlistentry>
  +          <term><literal>"preserve"</literal></term>
  +          <listitem><para>Don’t change the MAC address of the device upon activation</para></listitem>
  +        </varlistentry>
  +        <varlistentry>
  +          <term><literal>"random"</literal></term>
  +          <listitem><para>Generate a randomized value upon each connect</para></listitem>
  +        </varlistentry>
  +        <varlistentry>
  +          <term><literal>"stable"</literal></term>
  +          <listitem><para>Generate a stable, hashed MAC address</para></listitem>
  +        </varlistentry>
  +      </variablelist>
       '';
     };
   
  
positive.code:         default = "";
          description = ''
            Configuration appended to the generated NetworkManager.conf.
          '';
        };
  
  
negative.code:           Set the DNS (<literal>resolv.conf</literal>) processing mode.
            </para>
            <para>
            A description of these modes can be found in the main section of
            <link xlink:href="https://developer.gnome.org/NetworkManager/stable/NetworkManager.conf.html">
              https://developer.gnome.org/NetworkManager/stable/NetworkManager.conf.html
            </link>
            or in
            <citerefentry>
              <refentrytitle>NetworkManager.conf</refentrytitle>
              <manvolnum>5</manvolnum>
            </citerefentry>.
          '';
        };
  
  