diff --git a/docs/debugger.html b/docs/debugger.html
index 0c020aa47..4e13f47f7 100644
--- a/docs/debugger.html
+++ b/docs/debugger.html
@@ -39,7 +39,7 @@
               </ul>
             </li>
             <li><a href="#SaveWork">Save your work!</a></li>
-            <li><a href="#PromptCommands">Prompt commands</a></li>
+            <li><a href="#PromptCommands">Prompt Commands</a></li>
           </ul>
         </li>
         <li><a href="#IOTab">I/O Tab</a></li>
@@ -359,6 +359,12 @@ previous rewind operation. The rewind buffer is 100 levels deep by default.<p>
   </tr>
 </table>
 </p>
+<p>To the left of the global buttons, you find the "Options..." button.</p>
+<ul>
+  <p><img src="graphics/debugger_options.png"></p>
+</ul>
+<p>This opens the <a href="index.html#Options">Options Menu</a> which is described
+in detail in the <a href="index.html">User's Guide</a>.</p>
 
 <!-- /////////////////////////////////////////////////////////////////////////  -->
 <br>
diff --git a/docs/graphics/debugger_globalbuttons.png b/docs/graphics/debugger_globalbuttons.png
index 062287d27..907a2980c 100644
Binary files a/docs/graphics/debugger_globalbuttons.png and b/docs/graphics/debugger_globalbuttons.png differ
diff --git a/docs/graphics/debugger_options.png b/docs/graphics/debugger_options.png
new file mode 100644
index 000000000..eaf5f6dc9
Binary files /dev/null and b/docs/graphics/debugger_options.png differ
diff --git a/docs/graphics/rominfo_2x_small.png b/docs/graphics/rominfo_2x_small.png
index b51ee93e7..c5aabcc3b 100644
Binary files a/docs/graphics/rominfo_2x_small.png and b/docs/graphics/rominfo_2x_small.png differ