Fix language, make URL into link

Author: jhrcek

message-index/messages/GHC-39999/index.md

@@ -6,4 +6,4 @@ severity: error
 ---
 
 This error happens when an expression in the code has a type constraint (e.g. `Eq a => a -> a`) requiring an instance of a type class but GHC can‘t find it.
-This most commonly happens for two reasons: Either the type is to polymorphic (i.e. general) e.g. `forall a. a` and there is no type signature declaring that the type should have the instance. Or the type is specific e.g. `Bool`, but there is no instance for the desired type class defined for this type.
+This most commonly happens for two reasons: Either the type is too polymorphic (i.e. general) e.g. `forall a. a` and there is no type signature declaring that the type should have the instance. Or the type is specific e.g. `Bool`, but there is no instance for the desired type class defined for this type.

message-index/messages/GHC-47854/example2/index.md

@@ -5,7 +5,7 @@ title: Duplicate field export
 The module `Example` exports the symbol `answer` twice.
 In addition to the explicit entry in the export list it's also exported by `Example(..)`.
 
-To avoid the warning, remove one of the duplicated mention.
+To avoid the warning, remove one of the duplicated mentions.
 
 ## Error Message
 

message-index/messages/GHC-53786/case-expr-in-do-block/index.md

@@ -4,7 +4,7 @@ title: Case expression in do-block
 
 The expression in one branch of the case expression is a `do`-block that's missing a `do`. This triggers a corner case in the grammar of Haskell, and the `case`-expression is interpreted as the pattern part of a bind statement in the top-level `do`-block. 
 
-More details are available at https://gitlab.haskell.org/ghc/ghc/-/issues/984
+More details are available at [https://gitlab.haskell.org/ghc/ghc/-/issues/984](https://gitlab.haskell.org/ghc/ghc/-/issues/984)
 
 ## Error Message