INSTALL.md: workaround for ˆ-key under OS X

INSTALL.md

@@ -495,8 +495,7 @@ manual.
 
 This is a problem if you are running a keyboard driver for some non-english
 languages. These drivers catch the ^ character to produce the French
-circumflex accent and do not pass it properly to GAP. For OS X users, please refer to the section "GAP for OS X" below for
-information on how to install readline and recompile GAP as a workaround, for windows no fix is known. (One
+circumflex accent and do not pass it properly to GAP. For OS X users, as a workaround please refer to the section "GAP for OS X" below for information on how to install readline and section 5 on how to recompile GAP, for windows no fix is known. (One
 can type POW(a,b) for a^b.)
 
 Problems specific to Windows
@@ -610,6 +609,14 @@ a terminal in order to make all required tools available via the command line:
 
      xcode-select --install
 
+You might want to consider using Readline by installing it via:
+
+ * using Homebrew: `brew install readline`
+ * using Fink: `fink install readline7`
+ * using MacPorts: `port install readline`
+
+After that follow the instruction in section 5 about how to use Readline.
+
 Now simply follow the Unix installation instructions to compile and start
 GAP and then it will run in this Terminal window.