JustAnother wrote:So now I am confused.
I don't blame you, the wording is confusing.
From
RFC2131 3.4, which you've already found:
RFC2131 wrote:If a client has obtained a network address through some other means (e.g., manual configuration), it may use a DHCPINFORM request message to obtain other local configuration parameters.
.…
The server SHOULD check the network address in a DHCPINFORM message for consistency, but MUST NOT check for an existing lease.
Now, nothing in this forbids a DHCP server from inferring a DHCPINFORM as indicating an address from its pool it should not lease, and there may be DHCP servers that do this (as I said earlier, even without any explicit indication, they may quickly ping an address before handing our a lease for it).
The takeaway from this is that DHCPINFORM is not provided as a mechanism for notifying the server of
anything, and the dhcpcd man page is misleading on this point, IMO.
edit: for the sake of transparency, the author of dhcpcd
thinks I'm incorrect, at least at this point in time. I'm happy to be proved wrong, but right now it looks to me like a case of
A lie told often enough becomes the truth