case
      text <code>DELETE</code> <code>MY</code> <code>SNIPPETS</code> in the edit
      box, then press <em>OK</em>. You will get an error message, and the
      snippets won't be deleted, if the text you entered is incorrect.
    </p>
    <p>
      Once you enter the required text and click <em>OK</em> all user-defined
      snippets will be deleted straight away and the main display will be
      re-loaded.
    </p>
    <p class="bordered">
      You are <strong>strongly advised</strong> to take a bac