Documentation of drop says it returns [] only if n > length xs

Summary

The documentation of drop states that it returns [] only if n > length xs. This is wrong, IMHO. It should be n >= length xs

Location of documentation issue: (e.g. the Haddocks of base, the GHC user's guide) https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/GHC/List.hs#L921

Proposed improvements or changes

I suggest the line is changed to: -- after the first @n@ elements, or @[]@ if @n >= 'length' xs@.

This issue is also the case with the documentation of a similar function: take. I'm wondering if there is a reason for this style, but couldn't find any.

Environment

8.10.7

On a side note: If possible, I would like to make a PR if this isn't by design/on purpose.