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

EPA: Incorrect span for empty \case
In ```hs instance SDecide Nat where SZero %~ (SSucc _) = Disproved (\case) ``` The span for the `HsLam` introduced by `\case` contains only the `\`.
issue