Hello!

<dl>
 <dt id="option_indentWithTabs"><code>indentWithTabs: boolean</code></dt>
 <dd>Whether, when indenting, the first N*<code>tabSize</code>
 spaces should be replaced by N tabs. Default is false.</dd>

<dt id="option_electricChars"><code>electricChars: boolean</code></dt>
 <dd>Configures whether the editor should re-indent the current
 line when a character is typed that might change its proper
 indentation (only works if the mode supports indentation).
 Default is true.</dd>

<dt id="option_specialChars"><code>specialChars: RegExp</code></dt>
 <dd>A regular expression used to determine which characters
 should be replaced by a
 special <a href="#option_specialCharPlaceholder">placeholder</a>.
 Mostly useful for non-printing special characters. The default
 is <code>/[\u0000-\u0019\u00ad\u200b\u2028\u2029\ufeff]/</code>.</dd>
 <dt id="option_specialCharPlaceholder"><code>specialCharPlaceholder: function(char) → Element</code></dt>
 <dd>A function that, given a special character identified by
 the <a href="#option_specialChars"><code>specialChars</code></a>
 option, produces a DOM node that is used to represent the
 character. By default, a red dot (•)
 is shown, with a title tooltip to indicate the character code.</dd>

<dt id="option_rtlMoveVisually"><code>rtlMoveVisually: boolean</code></dt>
 <dd>Determines whether horizontal cursor movement through
 right-to-left (Arabic, Hebrew) text is visual (pressing the left
 arrow moves the cursor left) or logical (pressing the left arrow
 moves to the next lower index in the string, which is visually
 right in right-to-left text). The default is <code>false</code>
 on Windows, and <code>true</code> on other platforms.</dd>
 </dl>

Hello world!