Headers message may be empty.

[evoskuil]

Source File: _includes/devdoc/ref_p2p_networking.md

This statement implies that empty headers messages are not sent, which is not the case:

The headers message sends one or more block headers to a node which previously requested certain headers with a getheaders message.

It is typical for peers to send an empty headers message in response when the peers are in sync.

[wbnns]

Bounty: 5,000 bits / ~$10 USD

[evoskuil]

This issue may apply to the description of the INV message as well, though I haven't verified the behavior.