Revert "Extend documentation for ELF."

This reverts commit 960e283.

docs/index.html

@@ -3706,15 +3706,6 @@ <h2><b><a name="CommandLine">Using the Command Line</a></b></h2>
       <td>Set "Display.PPBlend" property, used for phosphor effect (0-100).
         Default is whatever is specified for tv.phosblend.</td>
     </tr>
-
-    <tr>
-      <td><pre>-elf.dump</pre></td>
-      <td>
-        Display extensive linkage information when loading ELF cartridges and dump the low 4.5MB of
-        ARM memory (to which all sections are relocated) to elf_executable_image.bin in
-        the current working directory.
-      </td>
-    </tr>
   </table>
 
   <p>The following are almost all available in two sets, one for players (prefixed by "plr.") and one
@@ -3775,12 +3766,7 @@ <h2><b><a name="CommandLine">Using the Command Line</a></b></h2>
         throw an exception and enter the debugger on fatal errors. When disabled, such
         fatal errors are simply logged, and emulation continues. Do not use this
         unless you know exactly what you're doing, as it changes the behaviour as
-        compared to real hardware.
-        For ELF cartridges, this option additionally checks for write accesses to
-        those parts of memory that should be read only and validates that all
-        relevant symbols in the ELF file can be relocated. Errors during relocation
-        will cause Stella to return to the debugger.
-      </td>
+        compared to real hardware.</td>
     </tr><tr>
       <td><pre>-dev.thumb.incycles &lt;1|0&gt;</pre></td>
       <td>When enabled, ARM emulation cycles are added to 6507 system cycles. This
@@ -3870,12 +3856,6 @@ <h2><b><a name="CommandLine">Using the Command Line</a></b></h2>
       <td><pre>-&lt;plr.|dev.&gt;tm.horizon &lt;3s|10s|30s|1m|3m|</br>  10m|30m|60m&gt;</pre></td>
       <td>Define the horizon of the Time Machine.</td>
     </tr>
-  </tr><tr>
-    <td><pre>-dev.arm.mips &lt;number&gt;</pre></td>
-    <td>
-      Limit the number of ARM instructions executed per 6507 instruction for ELF cartridges. Dev mode only.
-    </td>
-  </tr>
   </table>
   </blockquote></br>
 
@@ -4668,7 +4648,6 @@ <h2><b><a name="Debugger">Developer Options/Integrated Debugger</a></b></h2>
             <td>Thumb ARM emulation throws an exception and enters the debugger on fatal errors</td>
             <td><span style="white-space:nowrap">-dev.thumb.trapfatal</span></td>
           </tr>
-          <tr><td>Limit ARM speed...</td><td>Change the number of ARM instructions executed for eacht 6507 instruction for ELF ROMs.</td><td>-dev.arm.mips</td></tr>
         </table>
       </td>
     </tr>
@@ -5165,8 +5144,6 @@ <h3><a name="EmulationProps"><b>Emulation Properties</b></a></h3>
       must be <b>Auto</b> or one of the following. Types marked as (&#185;)
       do currently have no reliable auto-detection. A format can be enforced
       by using one of the following pattern in the filename.
-      For ELF cartridges, this also controls the mode Stella configures the cartridge
-      to run in.
       <table cellpadding="2" border="1">
         <tr><th>&nbsp;Format&nbsp;</th><th>Filename Pattern (to force format)</th></tr>
         <tr><td>NTSC</td><td>NTSC, NTSC60, NTSC 60, NTSC-60, PAL-M</td></tr>
@@ -5258,7 +5235,7 @@ <h3><a name="ControllerProps"><b>Controller Properties</b></a></h3>
         <tr><td>Paddles </td><td>Standard paddle controllers for use with games such as Breakout and Warlords. One pair of controller per connector (allows for 4-player Warlords).</td></tr>
         <tr><td>Paddles_IAxis &#185</td><td>Same as Paddles, except the axes are inverted.</td></tr>
         <tr><td>Paddles_IAxDr &#185</td><td>Same as Paddles, except both the axes and direction of movement are inverted.</td></tr>
-        <tr><td>Driving &#185 </td><td>Looks like a paddle, but allows 360� movement. Only one unit per connector, unlike paddles which were sold in pairs.</td></tr>
+        <tr><td>Driving &#185 </td><td>Looks like a paddle, but allows 360° movement. Only one unit per connector, unlike paddles which were sold in pairs.</td></tr>
         <tr><td>Keyboard</td><td>Also known as the Star Raiders controller, functionally identical to the Kid's Controller and Keyboard Controller. Game included an overlay with commands, for use with Star Raiders.</td></tr>
         <tr><td>AmigaMouse</td><td>Commodore Amiga computer mouse.</td></tr>
         <tr><td>AtariMouse</td><td>Atari ST computer mouse.</td></tr>