examples assume that 0 is not a valid packet number

[marten-seemann]

But it is.

In example 1, receiving packet 3 should trigger an ACK, since this would allow the peer to declare packet 0 lost (3-0 >= 3).
Instead of changing which ACKs are sent, the easiest solution would be adding another line for packet 0 to the table.