Change titlescreen reload hotky to F5 for the Mac.

Also some minor changelog cleanups. (Applies patch #2531 including extra
information regarding the change.)

changelog

@@ -26,9 +26,11 @@ Version 1.9.4+svn:
    * Fixed: g++ compiler warnings.
    * Added: cmake target to build the gui design pdf.
    * Removed support for TinyGUI: Devices with a resolution below 800x480 are
-     not supported anymore
+     not supported anymore.
    * Changed: The minimum screen resolution is 800x480, no need to use
-   --smallgui anymore.
+     --smallgui anymore.
+   * Reverted hotkey for clearing cache for Mac OS X back to F5. Control-F5
+     still works (and is necessary when in windowed mode).
 
 Version 1.9.4:
  * AI:

data/core/hotkeys.cfg

@@ -285,11 +285,11 @@
 
 [hotkey]
     command=title_screen__reload_wml
+    # For the Mac there has been some discussion whether a modifier was needed:
+    # - plain F5 is bound to Exposé and cmd+F5 to Voice Over - see bug #16744
+    # - reverted due to the comment in patch #2531
+    # Patch #2531 is approved by our Mac packager so it will be plain F5 
     key=F5
-#ifdef APPLE
-    # plain F5 is bound to Exposé and cmd+F5 to Voice Over - see bug #16744
-    ctrl=yes
-#endif
 [/hotkey]
 [hotkey]
     command=title_screen__next_tip