Report question

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