GHC-8.4.1 release notes don't mention 'Div', 'Mod' and other type families

GHC 8.4.1 brought support for Div, Mod and Log2 type families for type level natural numbers:

• https://downloads.haskell.org/~ghc/master/libraries/base/base/GHC-TypeNats.html#t:Div

I'm actually using this feature in o-clock package

• https://github.com/serokell/o-clock

But I was told about this feature only by other Haskell developer. And I don't see this change described in release notes for GHC 8.4.1:

• https://downloads.haskell.org/%7Eghc/master/users-guide/8.4.1-notes.html#base-library

Trac metadata

Trac field	Value
Version	8.4.1-alpha3
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Documentation
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture