Minor doc update: server limitations update after ping-check
The section 8.12 (DHCPv4 server limitations) still claims this:
The DHCPv4 server does not verify that an assigned address is unused. According to RFC 2131, the allocating server should verify that an address is not used by sending an ICMP echo request.
This is no longer true after ping-check was implemented.