anchor.diff:            [DHCPServer]
             ${attrsToSection def.dhcpServerConfig}
           ''
  -        + optionalString (def.ipv6PrefixDelegationConfig != { }) ''
  -          [IPv6PrefixDelegation]
  -          ${attrsToSection def.ipv6PrefixDelegationConfig}
  +        + optionalString (def.ipv6SendRAConfig != { }) ''
  +          [IPv6SendRA]
  +          ${attrsToSection def.ipv6SendRAConfig}
           ''
           + flip concatMapStrings def.ipv6Prefixes (x: ''
             [IPv6Prefix]
  
positive.code:       '';
      };
  
      ipv6PrefixDelegationConfig = mkOption {
        default = {};
        example = { EmitDNS = true; Managed = true; OtherInformation = true; };
        type = types.addCheck (types.attrsOf unitOption) check.network.sectionIPv6PrefixDelegation;
        description = ''
          Each attribute in this set specifies an option in the
          <literal>[IPv6PrefixDelegation]</literal> section of the unit.  See
          <citerefentry><refentrytitle>systemd.network</refentrytitle>
          <manvolnum>5</manvolnum></citerefentry> for details.
        '';
  
negative.code:         (assertValueOneOf "EmitTimezone" boolValues)
        ];
  
        sectionIPv6SendRA = checkUnitConfig "IPv6SendRA" [
          (assertOnlyFields [
            "Managed"
            "OtherInformation"
  