Is there any documentation for omitting zeroes in dot-decimal notation of IPv4 addresses?

I’ve noticed that Linux and *BSD systems allow user to skip octets when using dot-decimal notation.

Here are some examples:

$ ping 10.1
PING 10.1 (10.0.0.1) 56(84) bytes of data.

$ ping 10.15.1
PING 10.15.1 (10.15.0.1) 56(84) bytes of data.

Note that this isn’t limited to the ping command.

I’ve found document defining textual representations of IPv4, but it doesn’t seem to cover that feature: Textual Representation of IPv4 and IPv6 Addresses.

Is there any other document defining this behavior? Is there a specific name for this behavior?