Admin message

Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template

Document top-level defaulting
This ticket tracks the task of documenting the top-level defaulting mechanism (called **TypeClassDefaulting** in #20686), in particular: - defaulting of type-classes - defaulting of equalities - interaction with `NamedDefaults` extension
issue